Contrasting applications of logic in natural language syntactic description (2005)

by Geoffrey K. Pullum , Barbara C. Scholz
Venue:Logic, Methodology and Philosophy of Science: Proceedings of the Twelfth International Congress
Citations:10 - 1 self

Active Bibliography

52 A Descriptive Approach to Language-Theoretic Complexity – James Rogers - 1996
2 The Evolution of Model-Theoretic Frameworks in Linguistics – Geoffrey K. Pullum
12 A Model-Theoretic Framework for Theories of Syntax – James Rogers - 1996
Computational Linguistics and Generative Linguistics: The Triumph of Hope over Experience – Geoffrey K. Pullum
3 Strict LT 2 : Regular :: Local : Recognizable – James Rogers - 1997
14 A Proof System for Finite Trees – Patrick Blackburn, Wilfried Meyer-viol, Maarten de Rijke - 1996
9 Model Theoretic Syntax – Thomas Cornell, James Rogers - 1998
5 The expressivity of tree languages for syntactic structures – Adi Palm - 1999
1 Logic and syntax – a personal perspective – Marcus Kracht - 2001
8 An Operational and Denotational Approach to Non-Context-Freeness – Hans-Peter Kolb, Jens Michaelis, Uwe Mönnich, Frank Morawietz - 2000
6 The Descriptive Complexity of Generalized Local Sets – James Rogers
3 A Model-Theoretic Description of Tree Adjoining Grammars – Frank Morawietz, Uwe Mönnich, Universität Tübingen - 2001
3 Logic and Rational Languages of Words Indexed by Linear Orderings – Nicolas Bedon, Alexis Bès, Olivier Carton, Chloé Rispal
6 Existential Second-Order Logic over Strings – Thomas Eiter, Georg Gottlob, Yuri Gurevich - 1998
70 MONA Implementation Secrets – Nils Klarlund, Anders Møller, Michael Schwatzbach - 2000
32 MONA Version 1.4 User Manual – Nils Klarlund, Anders Møller, Anders Møller - 2001
Three lectures on automatic structures – Bakhadyr Khoussainov, Mia Minnes - 2008
The Relevance of Recognizable Sets – Anoop Sarkar - 1995
53 Mona Fido: The Logic-Automaton Connection in Practice – Nils Klarlund - 1998