Loop detection in term rewriting using the eliminating unfoldings (Q944383): Difference between revisions

@@ Property / describes a project that uses @@
+Matchbox
@@ Property / describes a project that uses: Matchbox / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / 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 @@
+Tyrolean
@@ Property / describes a project that uses: Tyrolean / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1972319677
@@ Property / OpenAlex ID: W1972319677 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Diagnosis of Functional Programs
@@ Property / cites work: Abstract Diagnosis of Functional Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Analyses of unsatisfiability for equational logic programming
+Normal rank
@@ Property / cites work @@
+Q4364365
@@ Property / cites work: Q4364365 / rank @@
+Normal rank
@@ Property / cites work @@
+Rules + strategies for transforming lazy functional logic programs
+Normal rank
@@ Property / cites work @@
+Q4281615
@@ Property / cites work: Q4281615 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+Narrowing directed by a graph of terms
@@ Property / cites work: Narrowing directed by a graph of terms / rank @@
+Normal rank
@@ Property / cites work @@
+A semantic basis for the termination analysis of logic programs
+Normal rank
@@ Property / cites work @@
+Grammar Analysis and Parsing by Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q3917482
@@ Property / cites work: Q3917482 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692463
@@ Property / cites work: Q4692463 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Inferring Termination Conditions for Logic Programs Using Backwards Analysis
+Normal rank
@@ Property / cites work @@
+Match-bounded string rewriting systems
@@ Property / cites work: Match-bounded string rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Non-Looping String Rewriting
@@ Property / cites work: Non-Looping String Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Frontiers of Combining Systems
@@ Property / cites work: Frontiers of Combining Systems / rank @@
+Normal rank
@@ Property / cites work @@
+On Proving Uniform Termination and Restricted Termination of Rewriting Systems
+Normal rank
@@ Property / cites work @@
+The integration of functions into logic programming: From theory to practice
+Normal rank
@@ Property / cites work @@
+Tyrolean termination tool: techniques and features
+Normal rank
@@ Property / cites work @@
+Foundations of equational logic programming
@@ Property / cites work: Foundations of equational logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-unification
@@ Property / cites work: Semi-unification / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998014
@@ Property / cites work: Q3998014 / rank @@
+Normal rank
@@ Property / cites work @@
+cTI: a constraint-based termination inference tool for ISO-Prolog
+Normal rank
@@ Property / cites work @@
+Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of logical relations for over- and underapproximating static analyses
+Normal rank
@@ Property / cites work @@
+Q4846999
@@ Property / cites work: Q4846999 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Counterexamples to termination for the direct sum of term rewriting systems
+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 @@
+Termination of string rewriting proved automatically
+Normal rank