Cette page en françaisQuesta pagina in italianoThis page in English
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://www.philosophie.ch/profil/walukiewicz

Igor Walukiewicz (walukiewicz)

Beiträge zu Philosophie.ch

No contributions yet

Bibliography

    Walukiewicz, Igor. 2000. “Completeness of Kozen’s Axiomaisation of the Propositional m-calculus.” Information and Computation 157: 142–182.