Szerző szerinti böngészés "Karim, Nour"
Megjelenítve 1 - 4 (Összesen 4)
Találat egy oldalon
Rendezési lehetőségek
Tétel Szabadon hozzáférhető An estimation for the lengths of reduction sequences of the lambda mu rho theta-calculus(2018) Battyányi, Péter; Karim, NourTétel Szabadon hozzáférhető Normalization in the simply typed lambda mu mu' rho theta epsilon-calculus(2022) Battyányi, Péter; Karim, NourTétel Szabadon hozzáférhető Normalization proofs for the un-typed mu mu'-calculus(2020) Battyányi, Péter; Karim, NourTétel Szabadon hozzáférhető Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi(2017) Battyányi, Péter; Karim, Nour