By Gottlob G.   Marcus S.   Nerode A.   Salzer G.   Subrahmanian V.S.   in Theoretical Computer Science

ISSN:0304-3975|166|1|221-262

Elsevier‎(1996)‎

Access to resources Favorite 6.87269

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.87269