Anti-patterns for rule-based languages (Q968527): Difference between revisions

@@ Property / cites work @@
+Decidability of systems of set constraints with negative constraints
+Normal rank
@@ Property / cites work @@
+A feature constraint system for logic programming with entailment
+Normal rank
@@ Property / cites work @@
+On the expressivity of feature logics with negation, functional uncertainty, and sort 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 @@
+Complexity of matching problems
@@ Property / cites work: Complexity of matching problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2764099
@@ Property / cites work: Q2764099 / rank @@
+Normal rank
@@ Property / cites work @@
+TQL: a query language for semistructured data based on the ambient logic
+Normal rank
@@ Property / cites work @@
+Q4297316
@@ Property / cites work: Q4297316 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2762629
@@ Property / cites work: Q2762629 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational problems and disunification
@@ Property / cites work: Equational problems and disunification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447218
@@ Property / cites work: Q4447218 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of counting problems in equational matching
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Anti-pattern Matching
@@ Property / cites work: Anti-pattern Matching / rank @@
+Normal rank
@@ Property / cites work @@
+Anti-pattern Matching Modulo
@@ Property / cites work: Anti-pattern Matching Modulo / rank @@
+Normal rank
@@ Property / cites work @@
+Solving equations with sequence variables and sequence functions
+Normal rank
@@ Property / cites work @@
+Flat matching
@@ Property / cites work: Flat matching / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit representation of terms defined by counter examples
+Normal rank
@@ Property / cites work @@
+THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
+Normal rank
@@ Property / cites work @@
+Normalized rewriting: An alternative to rewriting modulo a set of equations
+Normal rank
@@ Property / cites work @@
+Q2753689
@@ Property / cites work: Q2753689 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417783
@@ Property / cites work: Q4417783 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining matching algorithms: The regular case
@@ Property / cites work: Combining matching algorithms: The regular case / rank @@
+Normal rank
@@ Property / cites work @@
+Q5678447
@@ Property / cites work: Q5678447 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining decision algorithms for matching in the union of disjoint equational theories
+Normal rank
@@ Property / cites work @@
+A new method for undecidability proofs of first order theories
+Normal rank