Checking Sufficient Completeness by Inductive Theorem Proving (Q6487296): Difference between revisions

@@ 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 @@
+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 @@
+Q3785921
@@ Property / cites work: Q3785921 / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / 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 @@
+Q2715825
@@ Property / cites work: Q2715825 / 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 @@
+Sufficient-completeness, ground-reducibility and their complexity
+Normal rank
@@ Property / cites work @@
+Explicit representation of terms defined by counter examples
+Normal rank
@@ Property / cites work @@
+Normal forms and normal theories in conditional rewriting
+Normal rank
@@ Property / cites work @@
+On Ground Convergence and Completeness of Conditional Equational Program Hierarchies
+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 @@
+A proof method for local sufficient completeness of term rewriting systems
+Normal rank