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

1.

001-es BibID:BIBFORM094046
035-os BibID:(WoS)000532484000059 (Scopus)85088010956
Első szerző:Battyányi Péter (informatikus, matematikus)
Cím:Normalization proofs for the un-typed mu mu'-calculus / Péter Battyányi, Karim Nour
Dátum:2020
ISSN:2473-6988
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:AIMS Mathematics. - 5 : 4 (2020), p. 3702-3713. -
További szerzők:Karim, Nour
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.