Principles of Logic and Logic Programming‎

By Metakides   G.;Nerode   A.  

ISBN:9780080539645

Elsevier Science‎(1996)‎

Access to resources Favorite 10.449563

By Ishihara H.   Khoussainov B.   Nerode A.   in Information and Computation

ISSN:0890-5401|143|2|205-230

Academic Press‎(1998)‎

Access to resources Favorite 8.13775

By Nerode A.   Ko K.   Weihrauch K.   in Theoretical Computer Science

ISSN:0304-3975|219|1|1-2

Elsevier‎(1999)‎

Access to resources Favorite 8.13775

By Ko K.-l.   Nerode A.   Weihrauch K.   in Theoretical Computer Science

ISSN:0304-3975|284|2|197-197

Elsevier‎(2002)‎

Access to resources Favorite 7.6137013

By Nerode A.   Remmel J.B.   Subrahmanian V.S.   in Theoretical Computer Science

ISSN:0304-3975|171|1|111-146

Elsevier‎(1997)‎

Access to resources Favorite 7.6137013

By Kagan V.   Nerode A.   Subrahmanian V.S.   in Theoretical Computer Science

ISSN:0304-3975|155|1|157-177

Elsevier‎(1996)‎

Access to resources Favorite 7.6137013

By Wijesekera D.   Ganesh M.   Srivastava J.   Nerode A.   in Theoretical Computer Science

ISSN:0304-3975|266|1|365-405

Elsevier‎(2001)‎

Access to resources Favorite 6.719819

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

Recursive Algebra, Analysis and Combinatorics‎

By Ershov   Y. L.;Nerode   A.;Goncharov   S. S.  

ISBN:9780080533704

Elsevier Science‎(1998)‎

Access to resources Favorite 6.195771

Recursive Model Theory‎

By Ershov   Y. L.;Nerode   A.;Goncharov   S. S.  

ISBN:9780080533698

Elsevier Science‎(1998)‎

Access to resources Favorite 6.195771