Termination of narrowing via termination of rewriting (Q969619): Difference between revisions

@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TOY
@@ Property / describes a project that uses: TOY / 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 @@
+BABEL
@@ Property / describes a project that uses: BABEL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TPA
@@ Property / describes a project that uses: TPA / 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/s00200-010-0122-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2051564255
@@ Property / OpenAlex ID: W2051564255 / rank @@
+Normal rank
@@ Property / cites work @@
+The narrowing-driven approach to functional logic program specialization
+Normal rank
@@ Property / cites work @@
+Termination of Narrowing Using Dependency Pairs
@@ Property / cites work: Termination of Narrowing Using Dependency Pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281615
@@ Property / cites work: Q4281615 / rank @@
+Normal rank
@@ Property / cites work @@
+Specialization of functional logic programs based on needed narrowing
+Normal rank
@@ Property / cites work @@
+Q4364366
@@ Property / cites work: Q4364366 / rank @@
+Normal rank
@@ Property / cites work @@
+A needed narrowing strategy
@@ Property / cites work: A needed narrowing strategy / rank @@
+Normal rank
@@ Property / cites work @@
+Overlapping Rules and Logic Variables in Functional Logic Programs
+Normal rank
@@ Property / cites work @@
+Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs
+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 @@
+Q2751360
@@ Property / cites work: Q2751360 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3713559
@@ Property / cites work: Q3713559 / rank @@
+Normal rank
@@ Property / cites work @@
+A semantic basis for the termination analysis of logic programs
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Extra Variables Can Be Eliminated from Functional Logic Programs
+Normal rank
@@ Property / cites work @@
+Termination of logic programs: the never-ending story
+Normal rank
@@ Property / cites work @@
+Automatic mode inference for logic programs
@@ Property / cites work: Automatic mode inference for logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q3817652
@@ Property / cites work: Q3817652 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional Logic Programming: From Theory to Curry
+Normal rank
@@ Property / cites work @@
+Matrix interpretations for proving termination of term rewriting
+Normal rank
@@ Property / cites work @@
+A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties
+Normal rank
@@ Property / cites work @@
+Symbolic Model Checking of Infinite-State Systems Using Narrowing
+Normal rank
@@ Property / cites work @@
+Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Mechanizing and improving dependency pairs
@@ Property / cites work: Mechanizing and improving dependency pairs / rank @@
+Normal rank
@@ Property / cites work @@
+The integration of functions into logic programming: From theory to practice
+Normal rank
@@ Property / cites work @@
+Multi-paradigm Declarative Languages
@@ Property / cites work: Multi-paradigm Declarative Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883561
@@ Property / cites work: Q3883561 / rank @@
+Normal rank
@@ Property / cites work @@
+Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing
+Normal rank
@@ Property / cites work @@
+Q2767013
@@ Property / cites work: Q2767013 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287559
@@ Property / cites work: Q5287559 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3817590
@@ Property / cites work: Q3817590 / rank @@
+Normal rank
@@ Property / cites work @@
+TPA: Termination Proved Automatically
@@ Property / cites work: TPA: Termination Proved Automatically / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494366
@@ Property / cites work: Q4494366 / rank @@
+Normal rank
@@ Property / cites work @@
+Program Development in Computational Logic
@@ Property / cites work: Program Development in Computational Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness results for basic narrowing
@@ Property / cites work: Completeness results for basic narrowing / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming with functions and predicates: The language Babel
+Normal rank
@@ Property / cites work @@
+Q2844056
@@ Property / cites work: Q2844056 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast narrowing-driven partial evaluation for inductively sequential programs
+Normal rank
@@ Property / cites work @@
+Automated Termination Analysis for Logic Programs by Term Rewriting
+Normal rank
@@ Property / cites work @@
+Type-level Computation Using Narrowing in Ωmega
@@ Property / cites work: Type-level Computation Using Narrowing in Ωmega / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
+Normal rank
@@ Property / cites work @@
+Q4846999
@@ Property / cites work: Q4846999 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of Narrowing in Left-Linear Constructor Systems
+Normal rank