Ordering Constraints over Feature Trees (1999)

Cached

Download Links

by Martin Müller , Joachim Niehren , Andreas Podelski
Citations:14 - 5 self

Documents Related by Co-Citation

95 Records for Logic Programming – Gert Smolka, Ralf Treinen - 1994
19 The First-Order Theory of Ordering Constraints over Feature Trees – Martin Müller, Joachim Niehren, Ralf Treinen - 2001
7 Feature Logic With Weak Subsumption Constraints – Jochen Dörre
8 Ordering Constraints over Feature Trees Expressed in Second-order Monadic Logic – Martin Müller, Joachim Niehren - 1998
162 Generalized finite automata theory with an application to a decision problem of second-order logic – J W Thatcher, J B Wright - 1968
35 On subsumption and semi-unification in feature algebras – Jochen Dörre, William C Rounds - 1989
83 Feature Constraint Logics for Unification Grammars – Gert Smolka - 1992
10988 Computers and Intractability: A Guide to the Theory of NP-completeness – M Garey, D Johnson - 1979
283 Decidability of second-order theories and automata on infinite trees – Michael O Rabin - 1969
294 The Oz Programming Model – Gert Smolka - 1995
61 Subtyping Constrained Types – Valery Trifonov, Scott Smith - 1996
29 The Complexity of Subtype Entailment for Simple Types – Fritz Henglein, Jakob Rehof - 1997
69 A Feature-based Constraint System for Logic Programming with Entailment – Hassan Aït-Kaci, Andreas Podelski, Gert Smolka - 1992
24 A Complete Axiomatization of a Theory with Feature and Arity Constraints – Rolf Backofen - 1994
27 A Complete And Recursive Feature Theory – Rolf Backofen, Gert Smolka - 1992
33 Feature Logics – William C. Rounds - 1994
506 Lexical-Functional Grammar: A Formal System for Grammatical Representation – Ronald M. Kaplan, Joan Bresnan - 1995
20 The First-Order Theory of Subtype Constraints – Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen
22 Relational Queries over Interpreted Structures – Michael Benedikt, Leonid Libkin