Erik Aarts

	1995
4		Erik Aarts: Complexity of Horn Programs. LOPSTR 1995: 76-90
3		Kees Trautwein, Erik Aarts: Non-associative Lambek Categorial Grammar in Polynormal Time. Math. Log. Q. 41: 476-484 (1995)
	1994
2		Erik Aarts: Proving theorems of the second order Lambek calculus in polynominal time. Studia Logica 53(3): 373-388 (1994)
	1992
1		Erik Aarts: Uniform Recognition for Acyclic Context-Sensitive Grammars is NP-complete. COLING 1992: 1157-1161

Coauthor Index

1

Kees Trautwein

[3]