Összesen 1 találat.
#/oldal:
Részletezés:
Rendezés:

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ó:
Rekordok letöltése1 
Corvina könyvtári katalógus v8.2.27 © 2023 Monguz kft. Minden jog fenntartva.