On Ground Convergence and Completeness of Conditional Equational Program Hierarchies (Q6487297): Difference between revisions

@@ Property / cites work @@
+Ground Confluence Prover based on Rewriting Induction
+Normal rank
@@ Property / cites work @@
+Proving Confluence of Term Rewriting Systems Automatically
+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 @@
+Automata-driven automated induction
@@ Property / cites work: Automata-driven automated induction / rank @@
+Normal rank
@@ Property / cites work @@
+Implicit induction in conditional theories
@@ Property / cites work: Implicit induction in conditional theories / rank @@
+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 @@
+Q3785921
@@ Property / cites work: Q3785921 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination Modulo Combinations of Equational Theories
+Normal rank
@@ Property / cites work @@
+On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
+Normal rank
@@ Property / cites work @@
+Ground confluence of order-sorted conditional specifications modulo axioms
+Normal rank
@@ Property / cites work @@
+Folding variant narrowing and optimal variant termination
+Normal rank
@@ Property / cites work @@
+A strong restriction of the inductive completion procedure
+Normal rank
@@ Property / cites work @@
+Q2715825
@@ Property / cites work: Q2715825 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3753472
@@ Property / cites work: Q3753472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3780428
@@ Property / cites work: Q3780428 / 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 @@
+The algebraic specification of abstract data types
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+On the Completeness of Context-Sensitive Order-Sorted Specifications
+Normal rank
@@ Property / cites work @@
+Automatic proofs by induction in theories without constructors
+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 @@
+Sufficient-completeness, ground-reducibility and their complexity
+Normal rank
@@ Property / cites work @@
+Q3792234
@@ Property / cites work: Q3792234 / rank @@
+Normal rank
@@ Property / cites work @@
+Normal forms and normal theories in conditional rewriting
+Normal rank
@@ Property / cites work @@
+Checking Sufficient Completeness by Inductive Theorem Proving
+Normal rank
@@ Property / cites work @@
+Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Q3839051
@@ Property / cites work: Q3839051 / rank @@
+Normal rank
@@ Property / cites work @@
+Variant-Based Satisfiability in Initial Algebras
@@ Property / cites work: Variant-Based Satisfiability in Initial Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Equational formulas and pattern operations in initial order-sorted algebras
+Normal rank
@@ Property / cites work @@
+Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications
+Normal rank
@@ Property / cites work @@
+Complete Sets of Reductions for Some Equational Theories
+Normal rank
@@ Property / cites work @@
+Q3817651
@@ Property / cites work: Q3817651 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof method for local sufficient completeness of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Conditional Confluence (System Description)
@@ Property / cites work: Conditional Confluence (System Description) / rank @@
+Normal rank
@@ Property / cites work @@
+CSI – A Confluence Tool
@@ Property / cites work: CSI – A Confluence Tool / rank @@
+Normal rank
@@ Property / cites work @@
+Q3696496
@@ Property / cites work: Q3696496 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6487297