Pages that link to "Item:Q1227601"
From MaRDI portal
The following pages link to A unification algorithm for typed \(\bar\lambda\)-calculus (Q1227601):
Displayed 9 items.
- TPS: A hybrid automatic-interactive system for developing proofs (Q865629) (← links)
- Finite generation of ambiguity in context-free languages (Q1117043) (← links)
- Theorem proving modulo (Q1431339) (← links)
- Middle-out reasoning for synthesis and induction (Q1915136) (← links)
- Higher-order unification: a structural relation between Huet's method and the one based on explicit substitutions (Q2480966) (← links)
- Automatic theorem proving. II (Q3793764) (← links)
- Decidability of the unification problem for second-order languages with unary functional symbols (Q3885741) (← links)
- (Q3994022) (← links)
- (Q4222859) (← links)