Pages that link to "Item:Q1607044"
From MaRDI portal
The following pages link to On rewrite constraints and context unification (Q1607044):
Displaying 5 items.
- Dominance constraints in stratified context unification (Q845917) (← links)
- Decidability of bounded higher-order unification (Q2456577) (← links)
- The Existential Fragment of the One-Step Parallel Rewriting Theory (Q3636820) (← links)
- A Decision Algorithm for Stratified Context Unification (Q4796458) (← links)
- (Q5277883) (← links)