- Construction by Description in Discourse Representation.Noor van Leusen & Reinhard Muskens - 2003 - In Jaroslav Peregrin (ed.), Meaning: the dynamic turn. Oxford, UK: Elsevier Science. pp. 33-65.details
|
|
Categorial Grammar and Lexical-Functional Grammar.Reinhard Muskens - 2001 - In Miriam Butt & Tracey Holloway King (eds.), Proceedings of the LFG01 Conference, University of Hong Kong. CSLI Publications. pp. 259-279.details
|
|
Language, Lambdas, and Logic.Reinhard Muskens - 2003 - In R. Oehrle & J. Kruijff (eds.), resource sensitivity, binding, and anaphora. kluwer. pp. 23--54.details
|
|
(1 other version)Talking about trees and truth-conditions.Reinhard Muskens - 2001 - Journal of Logic, Language and Information 10 (4):417-455.details
|
|
Computational semantics in discourse: Underspecification, resolution, and inference.Johan Bos - 2004 - Journal of Logic, Language and Information 13 (2):139-157.details
|
|
Classes and theories of trees associated with a class of linear orders.Valentin Goranko & Ruaan Kellerman - 2011 - Logic Journal of the IGPL 19 (1):217-232.details
|
|
(1 other version)Temporal Logics with Reference Pointers and Computation Tree Logics.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):221-242.details
|
|
Description theory, LTAGs and Underspecified Semantics.Reinhard Muskens & Emiel Krahmer - 1998 - In Anne Abeillé, Tilman Becker, Giorgio Satta & K. Vijay-Shanker (eds.), Fourth International Workshop on Tree Adjoining Grammars and Related Frameworks. Institute for Research in Cognitive Science. pp. 112-115.details
|
|
(1 other version)Editorial.Markus Egg, Manfred Pinkal & James Pustejovsky - 2001 - Journal of Logic, Language and Information 10 (4):411-416.details
|
|
Underspecified semantics.Reinhard Muskens - 2000 - In Klaus von Heusinger & Urs Egli (eds.), Reference and Anaphoric Relations. Kluwer Academic Publishers. pp. 311--338.details
|
|
Approximating trees as coloured linear orders and complete axiomatisations of some classes of trees.Ruaan Kellerman & Valentin Goranko - 2021 - Journal of Symbolic Logic 86 (3):1035-1065.details
|
|
(1 other version)Temporal Logics with Reference Pointers and Computation Tree Logics.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3):221-242.details
|
|
First-order theories of bounded trees.Ruaan Kellerman - 2021 - Archive for Mathematical Logic 61 (1):263-297.details
|
|
First-order aspects of tree paths.Ruaan Kellerman - 2015 - Logic Journal of the IGPL 23 (4):688-704.details
|
|
Determining the consistency of partial tree descriptions.Manuel Bodirsky & Martin Kutz - 2007 - Artificial Intelligence 171 (2-3):185-196.details
|
|