By Boudol G.   in LISP and Symbolic Computation

ISSN:1388-3690|11|2|177-208

Springer Publishing Company ‎(1998)‎

Access to resources Favorite 16.376833

By Boudol G.   Laneve C.   in Electronic Notes in Theoretical Computer Science

ISSN:1571-0661|1|1|1-14

Elsevier‎(2004)‎

Access to resources Favorite 12.730219