Use of Logical Models for Proving Operational Termination in General Logics (Q2827835): Difference between revisions

@@ Property / cites work @@
+Proving Termination Properties with mu-term
@@ Property / cites work: Proving Termination Properties with mu-term / 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 @@
+Proving operational termination of membership equational programs
+Normal rank
@@ Property / cites work @@
+Q3030249
@@ Property / cites work: Q3030249 / 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 @@
+Polynomials over the reals in proofs of termination : from theory to practice
+Normal rank
@@ Property / cites work @@
+Operational termination of conditional term rewriting systems
+Normal rank
@@ Property / cites work @@
+Operational Termination of Membership Equational Programs: the Order-Sorted Way
+Normal rank
@@ Property / cites work @@
+Q3839051
@@ Property / cites work: Q3839051 / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting Matrix Interpretations for Proving Termination of Term Rewriting
+Normal rank
@@ Property / cites work @@
+Q4001345
@@ Property / cites work: Q4001345 / rank @@
+Normal rank