Corrado Böhm

Available identifiers

zbMath Open bohm.corradoWikidataQ943361 ScholiaQ943361MaRDI QIDQ752682

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/Q4204131	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4205067	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4206708	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3789047	1988-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/Q3729992	1986-01-01	Paper
Automatic synthesis of typed \(\Lambda\)-programs on term algebras	1985-01-01	Paper
Complexity bounds for equivalence and isomorphism of latin squares	1980-01-01	Paper
Minimal forms inλ-cakulus computations	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
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
https://portal.mardi4nfdi.de/entity/Q4068081	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Corrado Böhm