Magyar
Toggle navigation
Tudóstér
Magyar
Tudóstér
Keresés
Egyszerű keresés
Összetett keresés
CCL keresés
Egyszerű keresés
Összetett keresés
CCL keresés
Böngészés
Saját polc tartalma
(
0
)
Korábbi keresések
CCL parancs
CCL
Összesen 1 találat.
#/oldal:
12
36
60
120
Rövid
Hosszú
MARC
Részletezés:
Rendezés:
Szerző növekvő
Szerző csökkenő
Cím növekvő
Cím csökkenő
Dátum növekvő
Dátum csökkenő
1.
001-es BibID:
BIBFORM119697
Első szerző:
Bagossy Attila (informatikus)
Cím:
An encoding of the ?-calculus in the String MultiSet Rewriting calculus / Bagossy, Attila ; Battyányi, Péter
Dátum:
2024
ISSN:
0001-5903
Megjegyzések:
In this paper, we present an encoding of the ?-calculus in a multiset rewriting system and provide a few applications of the construction. For this purpose, we choose the calculus named String MultiSet Rewriting, which was introduced in Barbuti et al. (Electron Notes Theor Comput Sci 194:19-34, 2008) by Barbuti et al. With the help of our encoding, we give alternative proofs for the standardization and the finiteness of developments theorems in the ?-calculus.
Tárgyszavak:
Természettudományok
Matematika- és számítástudományok
idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
Megjelenés:
Acta Informatica. - [Epub ahead of print] : - (2024), p. 1-21. -
További szerzők:
Battyányi Péter (1972-) (informatikus, matematikus)
Pályázati támogatás:
EFOP-3.6.3-VEKOP-16-2017-00002
EFOP
Internet cím:
Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Saját polcon:
Rekordok letöltése
1
Corvina könyvtári katalógus v8.2.27
© 2023
Monguz kft.
Minden jog fenntartva.