Order-Sorted Rewriting and Congruence Closure (Q2811360): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-662-49630-5_29
+Normal rank
@@ Property / OpenAlex ID @@
+W2467885142
@@ Property / OpenAlex ID: W2467885142 / rank @@
+Normal rank
@@ Property / cites work @@
+Solvable cases of the decision problem
@@ Property / cites work: Solvable cases of the decision problem / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract congruence closure
@@ Property / cites work: Abstract congruence closure / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and proof in membership equational logic
+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 @@
+Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Variations on the Common Subexpression Problem
@@ Property / cites work: Variations on the Common Subexpression Problem / rank @@
+Normal rank
@@ Property / cites work @@
+The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
+Normal rank
@@ Property / cites work @@
+Q2715825
@@ Property / cites work: Q2715825 / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm for finding canonical sets of ground rewrite rules in polynomial time
+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 @@
+Shostak's congruence closure as completion
@@ Property / cites work: Shostak's congruence closure as completion / rank @@
+Normal rank
@@ Property / cites work @@
+Q3795207
@@ Property / cites work: Q3795207 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-Sorted Rewriting and Congruence Closure
@@ Property / cites work: Order-Sorted Rewriting and Congruence Closure / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839051
@@ Property / cites work: Q3839051 / rank @@
+Normal rank
@@ Property / cites work @@
+Any ground associative-commutative theory has a finite canonical system
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Decision Procedures Based on Congruence Closure
+Normal rank
@@ Property / cites work @@
+Complexity, convexity and combinations of theories
+Normal rank
@@ Property / cites work @@
+Computational aspects of an order-sorted logic with term declarations
+Normal rank
@@ Property / cites work @@
+An algorithm for reasoning about equality
@@ Property / cites work: An algorithm for reasoning about equality / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Combinations of Theories
@@ Property / cites work: Deciding Combinations of Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Inheritance hierarchies: Semantics and unifications
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Combining Equational Reasoning
@@ Property / cites work: Combining Equational Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+A mechanical solution of Schubert's steamroller by many-sorted resolution
+Normal rank