Local Termination (Q3636830): 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.1007/978-3-642-02348-4_19
+Normal rank
@@ Property / OpenAlex ID @@
+W2912121759
@@ Property / OpenAlex ID: W2912121759 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural Analysis of Narratives with the Coq Proof Assistant
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Proving Infinitary Normalization
@@ Property / cites work: Proving Infinitary Normalization / rank @@
+Normal rank
@@ Property / cites work @@
+Matrix interpretations for proving termination of term rewriting
+Normal rank
@@ Property / cites work @@
+Match-bounded string rewriting systems
@@ Property / cites work: Match-bounded string rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages
+Normal rank
@@ Property / cites work @@
+Rewriting Techniques and Applications
@@ Property / cites work: Rewriting Techniques and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Certification of Proving Termination of Term Rewriting by Matrix Interpretations
+Normal rank
@@ Property / cites work @@
+Q4259966
@@ Property / cites work: Q4259966 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2783416
@@ Property / cites work: Q2783416 / rank @@
+Normal rank
@@ Property / cites work @@
+A Transformational Approach to Prove Outermost Termination Automatically
+Normal rank
@@ Property / cites work @@
+The combinator S
@@ Property / cites work: The combinator S / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847000
@@ Property / cites work: Q4847000 / rank @@
+Normal rank