On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (Q1931906): Difference between revisions

@@ Property / cites work @@
+On using ground joinable equations in equational theorem proving
+Normal rank
@@ Property / cites work @@
+Completion for rewriting modulo a congruence
@@ Property / cites work: Completion for rewriting modulo a congruence / rank @@
+Normal rank
@@ Property / cites work @@
+Proving ground confluence and inductive validity in constructor based equational specifications
+Normal rank
@@ Property / cites work @@
+Simultaneous checking of completeness and ground confluence for algebraic specifications
+Normal rank
@@ Property / cites work @@
+Specification and proof in membership equational logic
+Normal rank
@@ Property / cites work @@
+Semantic foundations for generalized rewrite theories
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Completion of rewrite systems with membership constraints. I: Deduction rules
+Normal rank
@@ Property / cites work @@
+Completion of rewrite systems with membership constraints. II: Constraint solving
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751361
@@ Property / cites work: Q2751361 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving operational termination of membership equational programs
+Normal rank
@@ Property / cites work @@
+MTT: The Maude Termination Tool (System Description)
+Normal rank
@@ Property / cites work @@
+Methods for Proving Termination of Rewriting-based Programming Languages by Transformation
+Normal rank
@@ Property / cites work @@
+Termination Modulo Combinations of Equational Theories
+Normal rank
@@ Property / cites work @@
+Maude's module algebra
@@ Property / cites work: Maude's module algebra / rank @@
+Normal rank
@@ Property / cites work @@
+A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications
+Normal rank
@@ Property / cites work @@
+A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories
+Normal rank
@@ Property / cites work @@
+State Space Reduction of Rewrite Theories Using Invisible Transitions
+Normal rank
@@ Property / cites work @@
+Order-sorted completion: The many-sorted way
@@ Property / cites work: Order-sorted completion: The many-sorted way / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778873
@@ Property / cites work: Q2778873 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational completion in order-sorted algebras
@@ Property / cites work: Equational completion in order-sorted algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3719824
@@ Property / cites work: Q3719824 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted Equational Unification Revisited
@@ Property / cites work: Order-sorted Equational Unification Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Completion of a Set of Rules Modulo a Set of Equations
+Normal rank
@@ Property / cites work @@
+On ground-confluence of term rewriting systems
@@ Property / cites work: On ground-confluence of term rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3795207
@@ Property / cites work: Q3795207 / rank @@
+Normal rank
@@ Property / cites work @@
+A new solution of Dijkstra's concurrent programming problem
+Normal rank
@@ Property / cites work @@
+Operational termination of conditional term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q3839051
@@ Property / cites work: Q3839051 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational abstractions
@@ Property / cites work: Equational abstractions / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic simulations
@@ Property / cites work: Algebraic simulations / rank @@
+Normal rank
@@ Property / cites work @@
+Q2783416
@@ Property / cites work: Q2783416 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Sets of Reductions for Some Equational Theories
+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 @@
+Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+PARLE 94, Parallel architectures and languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994. Proceedings
+Normal rank
@@ Property / cites work @@
+Equational rules for rewriting logic
@@ Property / cites work: Equational rules for rewriting logic / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of order-sorted specifications
@@ Property / cites work: Semantics of order-sorted specifications / rank @@
+Normal rank