The following pages link to (Q3792234):
Displayed 8 items.
- Regular expression order-sorted unification and matching (Q741252) (← links)
- Equational completion in order-sorted algebras (Q912606) (← links)
- Order-sorted completion: The many-sorted way (Q1177935) (← links)
- Schematization of infinite sets of rewrite rules generated by divergent completion processes (Q1262755) (← links)
- Abstract canonical presentations (Q2500482) (← links)
- AC unification through order-sorted AC1 unification (Q5055752) (← links)
- Order-sorted Equational Unification Revisited (Q5166637) (← links)
- Completeness and confluence of order-sorted term rewriting (Q5881203) (← links)