| |
| 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 | EE | Erik Aarts: Uniform Recognition for Acyclic Context-Sensitive Grammars is NP-complete. COLING 1992: 1157-1161 |
| 1 | Kees Trautwein | [3] |