The following pages link to Normal forms in combinatory logic (Q1903133):
Displaying 17 items.
- A combinatory logic approach to higher-order E-unification (Q673971) (← links)
- On pseudo-c\(\beta\) normal form in combinatory logic (Q1120559) (← links)
- On normal forms in Łukasiewicz logic (Q1882628) (← links)
- Normal forms in combinatory logic (Q1903133) (← links)
- On pairs of dual consequence operations (Q1941723) (← links)
- Normalisation and subformula property for a system of classical logic with Tarski's rule (Q2118171) (← links)
- A normal form for logical derivations implying one for arithmetic derivations (Q2367413) (← links)
- Normal forms for binary relations (Q2503327) (← links)
- (Q2723894) (← links)
- On the likelihood of normalization in combinatory logic (Q3133193) (← links)
- (Q3348391) (← links)
- (Q3538670) (← links)
- (Q4202949) (← links)
- (Q4408994) (← links)
- (Q4518865) (← links)
- General normal forms for any additive logic (Q4607851) (← links)
- Normal forms and syntactic completeness proofs for functional independencies (Q5958763) (← links)
