A rationale for conditional equational programming (Q915429): Difference between revisions

@@ Property / cites work @@
+The relation between logic and functional languages: a survey
+Normal rank
@@ Property / cites work @@
+Conditional rewrite rules: Confluence and termination
+Normal rank
@@ Property / cites work @@
+Completion-time optimization of rewrite-time goal solving
+Normal rank
@@ Property / cites work @@
+Q3771660
@@ Property / cites work: Q3771660 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4205074
@@ Property / cites work: Q4205074 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3716279
@@ Property / cites work: Q3716279 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof by semantic attributes of a LISP compiler
@@ Property / cites work: Proof by semantic attributes of a LISP compiler / rank @@
+Normal rank
@@ Property / cites work @@
+Computing with rewrite systems
@@ Property / cites work: Computing with rewrite systems / rank @@
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q3817653
@@ Property / cites work: Q3817653 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819993
@@ Property / cites work: Q3819993 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3210187
@@ Property / cites work: Q3210187 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3731027
@@ Property / cites work: Q3731027 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625124
@@ Property / cites work: Q5625124 / rank @@
+Normal rank
@@ Property / cites work @@
+Equality, types, modules, and (why not?) generics for logic programming
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q3883561
@@ Property / cites work: Q3883561 / rank @@
+Normal rank
@@ Property / cites work @@
+An implementation of narrowing
@@ Property / cites work: An implementation of narrowing / rank @@
+Normal rank
@@ Property / cites work @@
+Simplifying conditional term rewriting systems: Unification, termination and confluence
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5638282
@@ Property / cites work: Q5638282 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing in systems described by equations
@@ Property / cites work: Computing in systems described by equations / rank @@
+Normal rank
@@ Property / cites work @@
+Note on a proof of the extended Kirby-Paris theorem on labelled finite trees
+Normal rank
@@ Property / cites work @@
+Q3820053
@@ Property / cites work: Q3820053 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic confluence tests and completion methods
@@ Property / cites work: Semantic confluence tests and completion methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q5632554
@@ Property / cites work: Q5632554 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5289024
@@ Property / cites work: Q5289024 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
+Normal rank
@@ Property / cites work @@
+Intensional interpretations of functionals of finite type I
+Normal rank
@@ Property / cites work @@
+Q3696496
@@ Property / cites work: Q3696496 / rank @@
+Normal rank