Ordering constraints over feature trees expressed in second-order monadic logic. (Q1854347): Difference between revisions

@@ Property / cites work @@
+Login: a logic programming language with built-in inheritance
+Normal rank
@@ Property / cites work @@
+Towards a meaning of life
@@ Property / cites work: Towards a meaning of life / rank @@
+Normal rank
@@ Property / cites work @@
+A feature constraint system for logic programming with entailment
+Normal rank
@@ Property / cites work @@
+An algebraic semantics approach to the effective resolution of type equations
+Normal rank
@@ Property / cites work @@
+A complete and recursive feature theory
@@ Property / cites work: A complete and recursive feature theory / rank @@
+Normal rank
@@ Property / cites work @@
+Regular path expressions in feature logic
@@ Property / cites work: Regular path expressions in feature logic / rank @@
+Normal rank
@@ Property / cites work @@
+A complete axiomatization of a theory with feature and arity constraints
+Normal rank
@@ Property / cites work @@
+The Logic of Typed Feature Structures
@@ Property / cites work: The Logic of Typed Feature Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4705604
@@ Property / cites work: Q4705604 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree acceptors and some of their applications
@@ Property / cites work: Tree acceptors and some of their applications / rank @@
+Normal rank
@@ Property / cites work @@
+On subsumption and semiunification in feature algebras
+Normal rank
@@ Property / cites work @@
+Q3127584
@@ Property / cites work: Q3127584 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3323279
@@ Property / cites work: Q3323279 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordering constraints over feature trees
@@ Property / cites work: Ordering constraints over feature trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q3838768
@@ Property / cites work: Q3838768 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936124
@@ Property / cites work: Q4936124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4013976
@@ Property / cites work: Q4013976 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning and revision in hybrid representation systems
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Q4331781
@@ Property / cites work: Q4331781 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992707
@@ Property / cites work: Q3992707 / rank @@
+Normal rank
@@ Property / cites work @@
+Records for logic programming
@@ Property / cites work: Records for logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4364535
@@ Property / cites work: Q4364535 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+An improved lower bound for the elementary theories of trees
+Normal rank