By Barthe G.   in Information and Computation

ISSN:0890-5401|149|1|42-76

Academic Press‎(1999)‎

Access to resources Favorite 13.985893

By Barthe G.   in LISP and Symbolic Computation

ISSN:1388-3690|12|2|125-170

Springer Publishing Company ‎(1999)‎

Access to resources Favorite 13.985893

By Barthe G.   Hatcliff J.   Sorensen M.H.   in Theoretical Computer Science

ISSN:0304-3975|269|1|317-361

Elsevier‎(2001)‎

Access to resources Favorite 8.550756

By Barthe G.   Hatcliff J.   Sorensen M.H.B.   in Theoretical Computer Science

ISSN:0304-3975|266|1|773-818

Elsevier‎(2001)‎

Access to resources Favorite 6.9929466