The following pages link to (Q4249894):
Displaying 7 items.
- Analytic tableaux for higher-order logic with choice (Q438561) (← links)
- A \(\lambda\)-unifiability test for set theory (Q751644) (← links)
- Delaying unification algorithms for lambda calculi (Q1104776) (← links)
- General \(E\)-unification with eager variable elimination and a nice cycle rule (Q2642468) (← links)
- Unification via the \(\lambda s_e\)-style of explicit substitutions (Q2743636) (← links)
- Automated Reasoning (Q5307080) (← links)
- Automatic derivation of the irrationality of \(e\) (Q5950931) (← links)
