Conferences in DBLP
Christof Monz , Maarten de Rijke Deductions with Meaning. [Citation Graph (0, 0)][DBLP ] Conf ] Marcelo Finger Computational Solutions for Structural Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Nissim Francez Hypothetical Reasoning and Basic Non-constituent Coordination in Type-Logical Grammar. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen J. Hegner Computational and Structural Aspects of Openly Specified Type Hierarchies. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Jäger Anaphora and Quantification in Categorial Grammar. [Citation Graph (0, 0)][DBLP ] Conf ] Aravind K. Joshi , Seth Kulick , Natasha Kurtonina An LTAG Perspective on Categorial Inference. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Koller , Joachim Niehren , Ralf Treinen Dominance Constraints: Algorithms and Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Marcus Kracht Strict Compositionality and Literal Movement Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Alain Lecomte Categorial Minimalism. [Citation Graph (0, 0)][DBLP ] Conf ] Wilfried Meyer-Viol Sequential Construction of Logical Forms. [Citation Graph (0, 0)][DBLP ] Conf ] Jens Michaelis Derivational Minimalism Is Mildly Context-Sensitive. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Niehren , Alexander Koller Dominance Constraints in Context Unification. [Citation Graph (0, 0)][DBLP ] Conf ] Norihiro Ogata A Revision System of Circular Objects and Its Applications to Dynamic Semantics of Dialogues. [Citation Graph (0, 0)][DBLP ] Conf ] Sylvain Pogodalla Lexicalized Proof-Nets and TAGs. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Jörg Tiede Lambek Calculus Proofs and Tree Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Wartena Grammars with Composite Storages. [Citation Graph (0, 0)][DBLP ] Conf ] 