The following pages link to (Q3991208):
Displaying 4 items.
- Unification of infinite sets of terms schematized by primal grammars (Q1392278) (← links)
- Recurrence domains: Their unification and application to logic programming (Q1900314) (← links)
- Meta-variables as infinite lists in nominal terms unification and rewriting (Q4913996) (← links)
- Implementation of a UU-algorithm for primitive recursive tree functions (Q5055894) (← links)