By Basin D.   in LISP and Symbolic Computation

ISSN:1388-3690|16|3|159-159

Springer Publishing Company ‎(2003)‎

Access to resources Favorite 14.320166

By Ayari A.   Basin D.   in Journal of Symbolic Computation

ISSN:0747-7171|31|5|487-520

Academic Press‎(2001)‎

Access to resources Favorite 11.947302

By Frank I.   Basin D.   in Theoretical Computer Science

ISSN:0304-3975|252|1|217-256

Elsevier‎(2001)‎

Access to resources Favorite 11.128686

By Ayari A.   Basin D.   Klaedtke F.   in Theoretical Computer Science

ISSN:0304-3975|300|1|301-329

Elsevier‎(2003)‎

Access to resources Favorite 9.532947

By Accorsi R.   Basin D.   Vigano L.   in Electronic Notes in Theoretical Computer Science

ISSN:1571-0661|55|1|1-20

Elsevier‎(2004)‎

Access to resources Favorite 8.755823

By Basin D.   Matthews S.   Viganò L.   in Studia Logica

ISSN:0039-3215|60|1|119-160

Springer Publishing Company ‎(1998)‎

Access to resources Favorite 8.755823