Normalization proofs for the un-typed mu mu'-calculus
Dátum
2020
Szerzők
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
Absztrakt
Leírás
Kulcsszavak
Természettudományok, Matematika- és számítástudományok
Jogtulajdonos
Jelzet
Egyéb azonosító
Forrás
AIMS Mathematics. -5 : 4 (2020), p. 3702-3713. -AIMS Math. - 2473-6988