Pages that link to "Item:Q1189467"
From MaRDI portal
The following pages link to A proof theory for general unification (Q1189467):
Displaying 11 items.
- Equivariant unification (Q616849) (← links)
- Lazy narrowing: strong completeness and eager variable elimination (Q671677) (← links)
- Redundancy criteria for constrained completion (Q673620) (← links)
- Unification and Matching in Hierarchical Combinations of Syntactic Theories (Q2964469) (← links)
- Unification in intuitionistic logic (Q4262590) (← links)
- Higher-Order Multi-Valued Resolution (Q4443416) (← links)
- Variant-Based Satisfiability in Initial Algebras (Q4686604) (← links)
- Improving transformation systems for general E-unification (Q5055788) (← links)
- Higher-order narrowing with convergent systems (Q5096386) (← links)
- Lazy narrowing: Strong completeness and eager variable elimination (extended abstract) (Q5096745) (← links)
- Unification in an extensional lambda calculus with ordered function sorts and constant overloading (Q5210801) (← links)
