Pages that link to "Item:Q1264439"
From MaRDI portal
The following pages link to Completion of rewrite systems with membership constraints. II: Constraint solving (Q1264439):
Displayed 11 items.
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Solvability of context equations with two context variables is decidable (Q1599536) (← links)
- Sentence-normalized conditional narrowing modulo in rewriting logic and Maude (Q1655486) (← links)
- Decidability of bounded second order unification (Q1887168) (← links)
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (Q1931906) (← links)
- A Constraint Solver for Equations over Sequences and Contexts (Q2955914) (← links)
- <i>CLP(H):</i>Constraint logic programming for hedges (Q4593022) (← links)
- Dynamically-typed computations for order-sorted equational presentations (Q4632447) (← links)
- On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs (Q5200103) (← links)
- Completion of rewrite systems with membership constraints (Q5204334) (← links)
- On equality up-to constraints over finite trees, context unification, and one-step rewriting (Q5234685) (← links)