By Kamareddine F.   Nederpelt R.   in Theoretical Computer Science

ISSN:0304-3975|155|1|85-109

Elsevier‎(1996)‎

Access to resources Favorite 11.678535

By Laan T.   Nederpelt R.   in Studia Logica

ISSN:0039-3215|57|2-3|243-278

Springer Publishing Company ‎(1996)‎

Access to resources Favorite 11.678535

By Kamareddine F.   Laan T.   Nederpelt R.   in Journal of Logic and Algebraic Programming

ISSN:1567-8326|54|1|65-107

Elsevier‎(2003)‎

Access to resources Favorite 9.186032

Selected Papers on Automath‎

By Nederpelt   R. P.;Geuvers   J. H.;Vrijer   R. C. de  

ISBN:9780080887180

Elsevier Science‎(1994)‎

Access to resources Favorite 7.51265

By Nederpelt R.P.   in Toegepaste Taalwetenschap in Artikelen

ISSN:0169-7420|19|1|31-39

John Benjamins Publishing Company‎(1984)‎

Access to resources Favorite 3.2764804