| Publication | Date of Publication | Type |
|---|
| Flexible composition in LTAG: quantifier scope and inverse linking | 2024-05-30 | Paper |
A dependency perspective on the adequacy of tree local multi-component tree adjoining grammar
Journal Of Logic And Computation | 2015-02-11 | Paper |
Anaphora and discourse structure
Computational Linguistics | 2012-03-20 | Paper |
Permission to speak: a logic for access control and conformance
The Journal of Logic and Algebraic Programming | 2011-01-07 | Paper |
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
Lecture Notes in Computer Science | 2008-08-28 | Paper |
Factoring predicate argument and scope semantics: underspecified semantics with LTAG
Research on Language and Computation | 2005-03-15 | Paper |
Partial proof trees, hybrid logic, and quantifier scope
Research on Language and Computation | 2005-03-15 | Paper |
D-LTAG system: Discourse parsing with a lexicalized tree-adjoining grammar
Journal of Logic, Language and Information | 2003-08-06 | Paper |
| scientific article; zbMATH DE number 1952664 (Why is no real title available?) | 2003-07-23 | Paper |
A note on the strong and weak generative powers of formal systems
Theoretical Computer Science | 2003-05-14 | Paper |
| scientific article; zbMATH DE number 1689580 (Why is no real title available?) | 2002-01-13 | Paper |
| scientific article; zbMATH DE number 1523041 (Why is no real title available?) | 2001-03-06 | Paper |
Role of constrained computational systems in natural language processing
Artificial Intelligence | 1999-01-12 | Paper |
| scientific article; zbMATH DE number 1104359 (Why is no real title available?) | 1998-02-02 | Paper |
| scientific article; zbMATH DE number 549939 (Why is no real title available?) | 1996-02-26 | Paper |
| scientific article; zbMATH DE number 579654 (Why is no real title available?) | 1994-06-01 | Paper |
| scientific article; zbMATH DE number 475427 (Why is no real title available?) | 1994-01-13 | Paper |
Semi-linearity, Parikh-boundedness and tree adjunct languages
Information Processing Letters | 1983-01-01 | Paper |
Local constraints in programming languages. I: Syntax
Theoretical Computer Science | 1980-01-01 | Paper |
Skeletal structural descriptions
Information and Control | 1978-01-01 | Paper |
Constraints on Structural Descriptions: Local Transformations
SIAM Journal on Computing | 1977-01-01 | Paper |
Some Frills for Modal Tic-Tac-Toe: Semantics of Predicate Complement Constructions
IEEE Transactions on Computers | 1976-01-01 | Paper |
Tree adjunct grammars
Journal of Computer and System Sciences | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3464875 (Why is no real title available?) | 1974-01-01 | Paper |
Some results in tree automata
Mathematical Systems Theory | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3423572 (Why is no real title available?) | 1973-01-01 | Paper |
String adjunct grammars: I. Local and distributed adjunction
Information and Control | 1972-01-01 | Paper |
String adjunct grammars: II. Equational representation, null symbols, and linguistic relevance
Information and Control | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3395357 (Why is no real title available?) | 1971-01-01 | Paper |
A note on a certain theorem stated by Kullback (Corresp.)
IEEE Transactions on Information Theory | 1964-01-01 | Paper |
