Login / Signup
Erik Aarts
Publication Activity (10 Years)
Years Active: 1992-1995
Publications (10 Years): 0
</>
Publications
</>
Kees Trautwein
,
Erik Aarts
Non-associative Lambek Categorial Grammar in Polynomial Time.
Math. Log. Q.
41 (1995)
Erik Aarts
Acyclic Context-sensitive Grammars.
IWPT
(1995)
Erik Aarts
Complexity of Horn Programs.
LOPSTR
(1995)
Erik Aarts
Proving theorems of the second order Lambek calculus in polynominal time.
Stud Logica
53 (3) (1994)
Erik Aarts
Uniform Recognition for Acyclic Context-Sensitive Grammars is NP-complete.
COLING
(1992)