Proving operational termination of membership equational programs (Q2271899): Difference between revisions

@@ Property / describes a project that uses @@
+Tsukuba
@@ Property / describes a project that uses: Tsukuba / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CiME
@@ Property / describes a project that uses: CiME / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2019496318
@@ Property / OpenAlex ID: W2019496318 / rank @@
+Normal rank
@@ Property / cites work @@
+ELAN from a rewriting logic point of view
@@ Property / cites work: ELAN from a rewriting logic point of view / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809069
@@ Property / cites work: Q4809069 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and proof in membership equational logic
+Normal rank
@@ Property / cites work @@
+Q4449180
@@ Property / cites work: Q4449180 / rank @@
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+Normal rank
@@ Property / cites work @@
+Proving operational termination of membership equational programs
+Normal rank
@@ Property / cites work @@
+Q4938610
@@ Property / cites work: Q4938610 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715825
@@ Property / cites work: Q2715825 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Erlang processes by dependency pairs
+Normal rank
@@ Property / cites work @@
+Modular termination proofs for rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Transformation techniques for context-sensitive rewrite systems
+Normal rank
@@ Property / cites work @@
+Frontiers of Combining Systems
@@ Property / cites work: Frontiers of Combining Systems / 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 @@
+Q4818829
@@ Property / cites work: Q4818829 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4259966
@@ Property / cites work: Q4259966 / rank @@
+Normal rank
@@ Property / cites work @@
+Context-sensitive rewriting strategies
@@ Property / cites work: Context-sensitive rewriting strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Proving termination of context-sensitive rewriting by transformation
+Normal rank
@@ Property / cites work @@
+Operational termination of conditional term rewriting systems
+Normal rank
@@ Property / cites work @@
+Modular and incremental proofs of AC-termination
@@ Property / cites work: Modular and incremental proofs of AC-termination / rank @@
+Normal rank
@@ Property / cites work @@
+Unravelings and ultra-properties
@@ Property / cites work: Unravelings and ultra-properties / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839051
@@ Property / cites work: Q3839051 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3687683
@@ Property / cites work: Q3687683 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2783416
@@ Property / cites work: Q2783416 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchical termination revisited.
@@ Property / cites work: Hierarchical termination revisited. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539636
@@ Property / cites work: Q4539636 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular and incremental automated termination proofs
+Normal rank
@@ Property / cites work @@
+Language Prototyping: An Algebraic Specification Approach
+Normal rank
@@ Property / cites work @@
+Equational rules for rewriting logic
@@ Property / cites work: Equational rules for rewriting logic / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of context-sensitive rewriting
@@ Property / cites work: Termination of context-sensitive rewriting / rank @@
+Normal rank