| 2008 |
|---|
| 7 | EE | Richard Moot:
Graph Algorithms for Improving Type-Logical Proof Search
CoRR abs/0805.2303: (2008) |
| 2007 |
|---|
| 6 | EE | Richard Moot:
Proof nets for display logic
CoRR abs/0711.2444: (2007) |
| 2005 |
|---|
| 5 | | Philippe Blache,
Edward P. Stabler,
Joan Busquets,
Richard Moot:
Logical Aspects of Computational Linguistics, 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings
Springer 2005 |
| 2003 |
|---|
| 4 | EE | Raffaella Bernardi,
Richard Moot:
Generalized Quantifiers in Declarative and Interrogative Sentences.
Logic Journal of the IGPL 11(4): 419-434 (2003) |
| 2002 |
|---|
| 3 | | Richard Moot,
Quintijn Puite:
Proof Nets for the Multimodal Lambek Calculus.
Studia Logica 71(3): 415-442 (2002) |
| 2001 |
|---|
| 2 | | Richard Moot,
Mario Piazza:
Linguistic Applications of First Order Intuitionistic Linear Logic.
Journal of Logic, Language and Information 10(2): 211-232 (2001) |
| 2000 |
|---|
| 1 | | Michael Moortgat,
Richard Moot:
CGN to Grail: Extracting a Type-logical Lexicon From the CGN Annotation.
CLIN 2000: 126-143 |
