Corrado Böhm

Available identifiers

zbMath Open bohm.corradoDBLP66/1582WikidataQ943361 ScholiaQ943361MaRDI QIDQ6481522

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q2778868	2002-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q4265612	1999-11-23	Paper
The ant-lion paradigm for strong normalization	1994-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q4283231	1994-10-09	Paper
https://portal.mardi4nfdi.de/entity/Q4008736	1992-09-27	Paper
About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4206708	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4204131	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4205067	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3815284	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3821565	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3789047	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3729992	1986-01-01	Paper
Automatic synthesis of typed \(\Lambda\)-programs on term algebras	1985-01-01	Paper
Minimal forms inλ-cakulus computations	1980-01-01	Paper
Complexity bounds for equivalence and isomorphism of latin squares	1980-01-01	Paper
A discrimination algorithm inside \(\lambda -\beta\)-calculus	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3207035	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4133598	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4109650	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4142679	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4068081	1974-01-01	Paper
A data structure formalization through generating function	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3212645	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4066583	1974-01-01	Paper
Notes on ?A CUCH-machine: The automatic treatment of bound variables?	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5677053	1973-01-01	Paper
A CUCH-machine: The automatic treatment of bound variables	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4053108	1971-01-01	Paper
Flow diagrams, turing machines and languages with only two formation rules	1966-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5586336	1966-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5724785	1962-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5724786	1962-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3270626	1958-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3849445	1958-01-01	Paper
Calculatrices digitales. Du déchiffrage de formules logico- mathématiques par la machine même dans la conception du programme	1954-01-01	Paper
Nuovi criteri di esistenza di soluzioni periodiche di una nota equazione differenziale non lineare	1953-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5823850	1953-01-01	Paper

Research outcomes over time

This page was built for person: Corrado Böhm