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
160 Generalized finite automata theory with an application to a decision problem of second-order logic – J Thatcher, J 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
10870 Computers and Intractability: A Guide to the Theory of NP-Completeness – M R Garey, D S Johnson - 1979
282 Decidability of second-order theories and automata on infinite trees – M O Rabin - 1969
293 The Oz Programming Model – Gert Smolka - 1995
59 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
504 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
10 Pseudo-Finite Homogeneity and Saturation – Jörg Flum, Martin Ziegler, A State - 1998