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

Ivo Duntsch (duntsch-i)

Beiträge zu Philosophie.ch

No contributions yet

Bibliography

    Andréka, Hajnal, Duntsch, Ivo and Németi, István. 1982. “A Complete Logic for Reasoning about Programs Via Nonstandard Model Theory I.” Theoretical Computer Science 17: 192–212.
    Andréka, Hajnal, Duntsch, Ivo and Németi, István. 1995. “Expressibility of Properties of Relations.” The Journal of Symbolic Logic 60: 970–991.