By Bethke Inge   in Journal of Logic, Language and Information

ISSN:0925-8531|20|2|161-168

Springer Publishing Company ‎(2011)‎

Access to resources Favorite 20.349169

By Bergstra Jan   Bethke Inge   in Theory of Computing Systems

ISSN:1432-4350|48|4|840-864

Springer Publishing Company ‎(2011)‎

Access to resources Favorite 16.279335

By Bergstra Jan   Bethke Inge   Ponse Alban   in Acta Informatica

ISSN:0001-5903|44|2|75-90

Springer Publishing Company ‎(2007)‎

Access to resources Favorite 12.209501