By Baaz M.   in Theoretical Computer Science

ISSN:0304-3975|224|1|3-11

Elsevier‎(1999)‎

Access to resources Favorite 13.967784

By Baaz M.   Leitsch A.   Zach R.   in Theoretical Computer Science

ISSN:0304-3975|160|1|241-270

Elsevier‎(1996)‎

Access to resources Favorite 9.301017

By Baaz M.   Hájek P.   Švejda D.   Krajíček J.   in Studia Logica

ISSN:0039-3215|61|1|35-47

Springer Publishing Company ‎(1998)‎

Access to resources Favorite 6.983892

By Baaz M.   Fermüller C.G.   Salzer G.   Zach R.   in Studia Logica

ISSN:0039-3215|61|1|7-33

Springer Publishing Company ‎(1998)‎

Access to resources Favorite 6.983892