Operational Termination of Membership Equational Programs: the Order-Sorted Way (Q5179140): Difference between revisions

@@ Property / describes a project that uses @@
+CafeOBJ
@@ Property / describes a project that uses: CafeOBJ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CASL
@@ Property / describes a project that uses: CASL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MTT
@@ Property / describes a project that uses: MTT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MU-TERM
@@ Property / describes a project that uses: MU-TERM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AProVE
@@ Property / describes a project that uses: AProVE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OBJ3
@@ Property / describes a project that uses: OBJ3 / rank @@
+Normal rank
@@ 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.entcs.2009.05.021
+Normal rank
@@ Property / OpenAlex ID @@
+W2128101632
@@ Property / OpenAlex ID: W2128101632 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Termination of Context-Sensitive Rewriting with MU-TERM
+Normal rank
@@ Property / cites work @@
+Q4413064
@@ Property / cites work: Q4413064 / rank @@
+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 @@
+CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
+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 @@
+Proving operational termination of membership equational programs
+Normal rank
@@ Property / cites work @@
+MTT: The Maude Termination Tool (System Description)
+Normal rank
@@ Property / cites work @@
+Q4222981
@@ Property / cites work: Q4222981 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715825
@@ Property / cites work: Q2715825 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic and logic programming. Third international conference, ALP '92, Volterra, Italy, September 2--4, 1992. Proceedings
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+Q3795207
@@ Property / cites work: Q3795207 / 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 @@
+Rewriting techniques and applications. 15th international conference, RTA 2004, Aachen, Germany, June 3--5, 2004. Proceedings.
+Normal rank
@@ Property / cites work @@
+Operational termination of conditional term rewriting systems
+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 @@
+Order-sorted termination: The unsorted way
@@ Property / cites work: Order-sorted termination: The unsorted way / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting: Interpretation and type elimination
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5179140