Localized Operational Termination in General Logics (Q5256340): Difference between revisions

@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MTT
@@ Property / describes a project that uses: MTT / 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.1007/978-3-319-15545-6_9
+Normal rank
@@ Property / OpenAlex ID @@
+W73179560
@@ Property / OpenAlex ID: W73179560 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698610
@@ Property / cites work: Q4698610 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Termination Properties with mu-term
@@ Property / cites work: Proving Termination Properties with mu-term / rank @@
+Normal rank
@@ Property / cites work @@
+What Is a Multi-modeling Language?
@@ Property / cites work: What Is a Multi-modeling Language? / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebraic definition of programming languages
+Normal rank
@@ Property / cites work @@
+A semantic basis for the termination analysis of logic programs
+Normal rank
@@ Property / cites work @@
+A general framework for automatic termination analysis od logic programs
+Normal rank
@@ Property / cites work @@
+MTT: The Maude Termination Tool (System Description)
+Normal rank
@@ Property / cites work @@
+Proving operational termination of membership equational programs
+Normal rank
@@ Property / cites work @@
+Local Termination: theory and practice
@@ Property / cites work: Local Termination: theory and practice / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing and improving dependency pairs
@@ Property / cites work: Mechanizing and improving dependency pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages
+Normal rank
@@ Property / cites work @@
+Strong and Weak Operational Termination of Order-Sorted Rewrite Theories
+Normal rank
@@ Property / cites work @@
+Operational termination of conditional term rewriting systems
+Normal rank
@@ Property / cites work @@
+The rewriting logic semantics project: a progress report
+Normal rank
@@ Property / cites work @@
+Termination Analysis of Logic Programs Based on Dependency Graphs
+Normal rank
@@ Property / cites work @@
+Termination of logic programs: the never-ending story
+Normal rank
@@ Property / cites work @@
+The Dependency Triple Framework for Termination of Logic Programs
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank
@@ Property / cites work @@
+Structured algebraic specifications: A kernel language
+Normal rank
@@ Property / cites work @@
+Q4385539
@@ Property / cites work: Q4385539 / rank @@
+Normal rank
@@ Property / cites work @@
+A formal approach to object-oriented software engineering
+Normal rank