Search results for: Rob Nederpelt
Fundamenta Informaticae > 2022 > Vol. 185, nr 4 > 313--336
Lecture Notes in Computer Science > LATIN 2002: Theoretical Informatics > Regular Contributions > 371-385
Applied Logic Series
Indagationes Mathematicae > 2013 > 24 > 4 > 1034-1049
Journal of Logic, Language and Information > 2004 > 13 > 3 > 287-340
Electronic Notes in Theoretical Computer Science > 2003 > 85 > 7 > 1-20
Journal of Logic and Algebraic Programming > 2003 > 54 > 1-2 > 65-107
Annals of Pure and Applied Logic > 1999 > 97 > 1-3 > 27-45
Acta Informatica > 1998 > 35 > 12 > 1007-1036
Information and Computation > 1996 > 126 > 2 > 123-143
Theoretical Computer Science > 1996 > 155 > 1 > 85-109
Theoretical Computer Science > 1994 > 136 > 1 > 183-216