Completeness results for basic narrowing
From MaRDI portal
Recommendations
Cites work
- A Machine-Oriented Logic Based on the Resolution Principle
- A rationale for conditional equational programming
- An Efficient Unification Algorithm
- Basic narrowing revisited
- Conditional rewrite rules
- Conditional rewrite rules: Confluence and termination
- Enumerating outer narrowing derivations for constructor-based term rewriting systems
- Foundations of equational logic programming
- scientific article; zbMATH DE number 4164127 (Why is no real title available?)
- scientific article; zbMATH DE number 4041327 (Why is no real title available?)
- scientific article; zbMATH DE number 4053008 (Why is no real title available?)
- scientific article; zbMATH DE number 4092758 (Why is no real title available?)
- scientific article; zbMATH DE number 4112560 (Why is no real title available?)
- scientific article; zbMATH DE number 177826 (Why is no real title available?)
- scientific article; zbMATH DE number 1142316 (Why is no real title available?)
- Kernel-LEAF: A logic plus functional language
- Modular properties of conditional term rewriting systems
- Narrowing vs. SLD-resolution
- On completeness of narrowing strategies
- Proving termination with multiset orderings
- Simplifying conditional term rewriting systems: Unification, termination and confluence
Cited in
(43)- Termination of narrowing revisited
- Conditional narrowing modulo a set of equations
- Incremental constraint satisfaction for equational logic programming
- Sentence-normalized conditional narrowing modulo in rewriting logic and Maude
- Reversible computation in term rewriting
- Basic narrowing revisited
- Higher order unification via explicit substitutions
- Determinization of conditional term rewriting systems
- Logicality of conditional rewrite systems
- Reviving basic narrowing modulo
- Shallow confluence of conditional term rewriting systems
- Induction for termination with local strategies
- Outermost ground termination
- Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude
- Modular Termination of Basic Narrowing
- scientific article; zbMATH DE number 4041327 (Why is no real title available?)
- scientific article; zbMATH DE number 4053009 (Why is no real title available?)
- scientific article; zbMATH DE number 1497855 (Why is no real title available?)
- scientific article; zbMATH DE number 1507237 (Why is no real title available?)
- scientific article; zbMATH DE number 1418369 (Why is no real title available?)
- Narrowing trees for syntactically deterministic conditional term rewriting systems
- Level-confluence of conditional rewrite systems with extra variables in right-hand sides
- Lazy narrowing: strong completeness and eager variable elimination (extended abstract)
- Symbolic analysis of Maude theories with Narval
- Inverse Unfold Problem and Its Heuristic Solving
- Computational origami construction as constraint solving and rewriting
- Proving weak properties of rewriting
- Implementing conditional term rewriting by graph rewriting
- Local confluence of conditional and generalized term rewriting systems
- Strategies in conditional narrowing modulo SMT plus axioms
- Proving confluence in the confluence framework with confident
- A compositional semantic basis for the analysis of equational Horn programs
- Lazy narrowing: strong completeness and eager variable elimination
- Graded quantitative narrowing
- An Iabelle/HOL formalization of narrowing and multiset narrowing for E-unifiability, reachability and infeasibility
- Confluence of almost parallel-closed generalized term rewriting systems
- A distribution semantics for probabilistic term rewriting
- Nominal equational narrowing: rewriting for unification in languages with binders
- Complete symbolic reachability analysis using back-and-forth narrowing
- A new generic scheme for functional logic programming with constraints
- On completeness of narrowing strategies
- Termination of narrowing via termination of rewriting
- A compact fixpoint semantics for term rewriting systems
This page was built for publication: Completeness results for basic narrowing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1328184)
