Pages that link to "Item:Q1328184"
From MaRDI portal
The following pages link to Completeness results for basic narrowing (Q1328184):
Displaying 27 items.
- Proving weak properties of rewriting (Q554217) (← links)
- A compositional semantic basis for the analysis of equational Horn programs (Q671509) (← links)
- Lazy narrowing: strong completeness and eager variable elimination (Q671677) (← links)
- Complete symbolic reachability analysis using back-and-forth narrowing (Q860885) (← links)
- A new generic scheme for functional logic programming with constraints (Q880985) (← links)
- Termination of narrowing via termination of rewriting (Q969619) (← links)
- A compact fixpoint semantics for term rewriting systems (Q987981) (← links)
- Termination of narrowing revisited (Q1035697) (← links)
- Conditional narrowing modulo a set of equations (Q1261194) (← links)
- Incremental constraint satisfaction for equational logic programming (Q1367535) (← links)
- Sentence-normalized conditional narrowing modulo in rewriting logic and Maude (Q1655486) (← links)
- Reversible computation in term rewriting (Q1683707) (← links)
- Higher order unification via explicit substitutions (Q1854337) (← links)
- Determinization of conditional term rewriting systems (Q1929232) (← links)
- Logicality of conditional rewrite systems (Q1978646) (← links)
- Shallow confluence of conditional term rewriting systems (Q2518609) (← links)
- Induction for termination with local strategies (Q2841240) (← links)
- (Q2851054) (← links)
- Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude (Q2945699) (← links)
- Modular Termination of Basic Narrowing (Q3522005) (← links)
- Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems (Q4993358) (← links)
- Level-confluence of conditional rewrite systems with extra variables in right-hand sides (Q5055830) (← links)
- Lazy narrowing: Strong completeness and eager variable elimination (extended abstract) (Q5096745) (← links)
- Symbolic Analysis of Maude Theories with Narval (Q5108507) (← links)
- Inverse Unfold Problem and Its Heuristic Solving (Q5240134) (← links)
- Computational Origami Construction as Constraint Solving and Rewriting (Q5403476) (← links)
- Local confluence of conditional and generalized term rewriting systems (Q6151615) (← links)
