The following pages link to Corrado Böhm (Q6481522):
Displaying 1 item.
- (Q752682) (redirect page) (← links)
- About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus (Q752684) (← links)
- Automatic synthesis of typed \(\Lambda\)-programs on term algebras (Q1079357) (← links)
- Complexity bounds for equivalence and isomorphism of latin squares (Q1145501) (← links)
- (Q1257007) (redirect page) (← links)
- A discrimination algorithm inside \(\lambda -\beta\)-calculus (Q1257009) (← links)
- The ant-lion paradigm for strong normalization (Q1336047) (← links)
- A data structure formalization through generating function (Q1844073) (← links)
- Nuovi criteri di esistenza di soluzioni periodiche di una nota equazione differenziale non lineare (Q2651263) (← links)
- Calculatrices digitales. Du déchiffrage de formules logico- mathématiques par la machine même dans la conception du programme (Q2652135) (← links)
- (Q2778868) (← links)
- (Q3207035) (← links)
- (Q3212645) (← links)
- (Q3270626) (← links)
- (Q3729992) (← links)
- (Q3789047) (← links)
- (Q3815284) (← links)
- (Q3821565) (← links)
- (Q3849445) (← links)
- Minimal forms in<i>λ</i>-cakulus computations (Q3897031) (← links)
- (Q4008736) (← links)
- (Q4053108) (← links)
- (Q4066583) (← links)
- (Q4068081) (← links)
- (Q4109650) (← links)
- (Q4133598) (← links)
- (Q4142679) (← links)
- (Q4204131) (← links)
- (Q4205067) (← links)
- (Q4206708) (← links)
- (Q4265612) (← links)
- (Q4283231) (← links)
- A CUCH-machine: The automatic treatment of bound variables (Q4403722) (← links)
- Notes on ?A CUCH-machine: The automatic treatment of bound variables? (Q4403723) (← links)
- Flow diagrams, turing machines and languages with only two formation rules (Q5522202) (← links)
- (Q5586336) (← links)
- (Q5677053) (← links)
- (Q5724785) (← links)
- (Q5724786) (← links)
- (Q5823850) (← links)
