By Lafont Y.   Scedrov A.   in Information and Computation

ISSN:0890-5401|125|1|46-51

Academic Press‎(1996)‎

Access to resources Favorite 10.775787

Categories, Allegories‎

By Freyd   P. J.;Scedrov   A.  

ISBN:9780080887012

Elsevier Science‎(1990)‎

Access to resources Favorite 9.860054

By Girard J.-Y.   Okada M.   Scedrov A.   in Theoretical Computer Science

ISSN:0304-3975|294|3|333-333

Elsevier‎(2003)‎

Access to resources Favorite 7.852907

By Kanovich M.I.   Okada M.   Scedrov A.   in Theoretical Computer Science

ISSN:0304-3975|294|3|525-549

Elsevier‎(2003)‎

Access to resources Favorite 7.852907

By Lincoln P.D.   Mitchell J.C.   Scedrov A.   in Theoretical Computer Science

ISSN:0304-3975|227|1|299-331

Elsevier‎(1999)‎

Access to resources Favorite 7.852907

By Chadha Rohit   Kremer Steve   Scedrov Andre   in Journal of Automated Reasoning

ISSN:0168-7433|36|1-2|39-83

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 1.6371214

By Kanovich Max   Rowe Paul   Scedrov Andre   in Journal of Automated Reasoning

ISSN:0168-7433|46|3-4|389-421

Springer Publishing Company ‎(2011)‎

Access to resources Favorite 1.6371214