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

1.

001-es BibID:BIBFORM094048
035-os BibID:(cikkazonosító)17 (WoS)000439433300004 (Scopus)85055852173
Első szerző:Battyányi Péter (informatikus, matematikus)
Cím:An estimation for the lengths of reduction sequences of the lambda mu rho theta-calculus / Péter Battyányi, Karim Nour
Dátum:2018
ISSN:1860-5974
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:Logical Methods in Computer Science. - 14 : 2 (2018), p. 1-35. -
További szerzők:Karim, Nour
Internet cím:DOI
Szerző által megadott URL
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.