dblp.uni-trier.dewww.uni-trier.de

Richard Moot

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
7EERichard Moot: Graph Algorithms for Improving Type-Logical Proof Search CoRR abs/0805.2303: (2008)
2007
6EERichard 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
4EERaffaella 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

Coauthor Index

1Raffaella Bernardi [4]
2Philippe Blache [5]
3Joan Busquets [5]
4Michael Moortgat [1]
5Mario Piazza [2]
6Quintijn Puite [3]
7Edward P. Stabler (Edward P. Stabler Jr.) [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)