| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 1722696 (Why is no real title available?) | 2002-03-21 | Paper |
| scientific article; zbMATH DE number 1339950 (Why is no real title available?) | 1999-11-23 | Paper |
The ant-lion paradigm for strong normalization
Information and Computation | 1994-11-20 | Paper |
| scientific article; zbMATH DE number 515729 (Why is no real title available?) | 1994-10-09 | Paper |
| scientific article; zbMATH DE number 63120 (Why is no real title available?) | 1992-09-27 | Paper |
About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus
Information and Computation | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4127172 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4123701 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4124984 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4085616 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4094791 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4052989 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3960962 (Why is no real title available?) | 1986-01-01 | Paper |
Automatic synthesis of typed \(\Lambda\)-programs on term algebras
Theoretical Computer Science | 1985-01-01 | Paper |
Minimal forms inλ-cakulus computations
Journal of Symbolic Logic | 1980-01-01 | Paper |
Complexity bounds for equivalence and isomorphism of latin squares
Information Processing Letters | 1980-01-01 | Paper |
A discrimination algorithm inside \(\lambda -\beta\)-calculus
Theoretical Computer Science | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3648799 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3557747 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3532922 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3571482 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3485195 (Why is no real title available?) | 1974-01-01 | Paper |
A data structure formalization through generating function
Calcolo | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3425121 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3483552 (Why is no real title available?) | 1974-01-01 | Paper |
Notes on ?A CUCH-machine: The automatic treatment of bound variables?
International Journal of Computer & Information Sciences | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3412158 (Why is no real title available?) | 1973-01-01 | Paper |
A CUCH-machine: The automatic treatment of bound variables
International Journal of Computer & Information Sciences | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3468269 (Why is no real title available?) | 1971-01-01 | Paper |
Flow diagrams, turing machines and languages with only two formation rules
Communications of the ACM | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3305032 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3188509 (Why is no real title available?) | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3188510 (Why is no real title available?) | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3153992 (Why is no real title available?) | 1958-01-01 | Paper |
| scientific article; zbMATH DE number 3181642 (Why is no real title available?) | 1958-01-01 | Paper |
Calculatrices digitales. Du déchiffrage de formules logico- mathématiques par la machine même dans la conception du programme
Annali di Matematica Pura ed Applicata. Serie Quarta | 1954-01-01 | Paper |
Nuovi criteri di esistenza di soluzioni periodiche di una nota equazione differenziale non lineare
Annali di Matematica Pura ed Applicata. Serie Quarta | 1953-01-01 | Paper |
| scientific article; zbMATH DE number 3082997 (Why is no real title available?) | 1953-01-01 | Paper |
