Ground confluence of order-sorted conditional specifications modulo axioms (Q2291829): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlamp.2019.100513
+Normal rank
@@ Property / OpenAlex ID @@
+W2989726691
@@ Property / OpenAlex ID: W2989726691 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Confluence of Term Rewriting Systems Automatically
+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 @@
+Q5573370
@@ Property / cites work: Q5573370 / 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 @@
+Proving operational termination of membership equational programs
+Normal rank
@@ Property / cites work @@
+MTT: The Maude Termination Tool (System Description)
+Normal rank
@@ Property / cites work @@
+Termination Modulo Combinations of Equational Theories
+Normal rank
@@ Property / cites work @@
+A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications
+Normal rank
@@ Property / cites work @@
+On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
+Normal rank
@@ Property / cites work @@
+Proving ground confluence of equational 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 @@
+Q4256417
@@ Property / cites work: Q4256417 / rank @@
+Normal rank
@@ Property / cites work @@
+Operational termination of conditional term rewriting systems
+Normal rank
@@ Property / cites work @@
+Normal forms and normal theories in conditional rewriting
+Normal rank
@@ Property / cites work @@
+Q3839051
@@ Property / cites work: Q3839051 / rank @@
+Normal rank
@@ Property / cites work @@
+Strict coherence of conditional rewriting modulo axioms
+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 @@
+CSI: new evidence -- a progress report
@@ Property / cites work: CSI: new evidence -- a progress report / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications
+Normal rank
@@ Property / cites work @@
+Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories
+Normal rank
@@ Property / cites work @@
+Metalevel algorithms for variant satisfiability
@@ Property / cites work: Metalevel algorithms for variant satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q126663663
@@ Property / Wikidata QID: Q126663663 / rank @@
+Normal rank