By Kozen D.   in Information and Computation

ISSN:0890-5401|179|2|152-162

Academic Press‎(2002)‎

Access to resources Favorite 15.237041

By Kozen D.   in Theoretical Computer Science

ISSN:0304-3975|167|1|73-94

Elsevier‎(1996)‎

Access to resources Favorite 15.237041

By Kozen D.   in Information and Computation

ISSN:0890-5401|142|1|2-25

Academic Press‎(1998)‎

Access to resources Favorite 15.237041

By Kozen D.   Stefansson K.   in Journal of Symbolic Computation

ISSN:0747-7171|24|2|125-136

Academic Press‎(1997)‎

Access to resources Favorite 11.841812

By Kozen D.   Landau S.   Zippel R.   in Journal of Symbolic Computation

ISSN:0747-7171|22|3|235-246

Academic Press‎(1996)‎

Access to resources Favorite 9.316135