Corrado Böhm - Author Profile

Edit Profile

Böhm, Corrado (b. 1923 d. 2017)

Author ID:	bohm.corrado
Published as:	Böhm, Corrado; Böhm, C.; Boehm, C. more...less
Homepage:	http://wwwusers.di.uniroma1.it/~boehm/
External Links:	MGP · Wikidata · dblp · GND · IdRef

Documents Indexed:	39 Publications since 1953
	4 Contributions as Editor · 2 Further Contributions
Biographic References:	2 Publications
Co-Authors:	16 Co-Authors with 30 Joint Publications
	328 Co-Co-Authors

all top 5

Co-Authors

13	single-authored
13	Dezani-Ciancaglini, Mariangiola
3	Berarducci, Alessandro
2	Coppo, Mario
2	Intrigila, Benedetto
2	Jacopini, Giuseppe
2	Piperno, Adolfo
2	Ronchi Della Rocca, Simona
2	Sontacchi, Giovanna
2	Tronci, Enrico
1	Aczel, Peter
1	Agazzi, Evandro
1	Astesiano, Egidio
1	Barendregt, Hendrik Pieter
1	Belnap, Nuel D. jun.
1	Bocheński, Józef Maria
1	Bunder, Martin W.
1	Casari, Ettore
1	Castro Perelman, Carlos
1	Dalla Chiara, Maria Luisa
1	de Bruijn, Nicolaas Govert
1	Diller, Justus
1	Feferman, Solomon
1	Fenstad, Jens Erik
1	Fitch, Frederic Brenton
1	Gandy, Robin O.
1	Gilmore, Paul C.
1	Gross, Wolf
1	Guessarian, Irène
1	Hermes, Hans
1	Hindley, J. Roger
1	Hintikka, Jaakko
1	Howard, William Alvin
1	Kearns, John T.
1	Klop, Jan Willem
1	Koymans, Karst
1	Kreisel, Georg
1	Kuzichev, Alexander Sergeevich
1	Lambek, Joachim
1	Lejewski, Czesław
1	Levy, Jean-Jacques
1	Longo, Giuseppe
1	Machi, Antonio
1	Macintyre, Angus John
1	Massey, Gerald J.
1	Meredith, David
1	Micali, Silvio
1	Mitschke, Gerd
1	Peretti, P.
1	Plotkin, Gordon D.
1	Pottinger, Garrel
1	Reyes, Gonzalo E.
1	Sanchis, Luis Elpidio
1	Santucci, Lia
1	Schütte, Kurt
1	Scott, Dana Stewart
1	Seldin, Jonathan P.
1	Stalnaker, Robert C.
1	Statman, Richard
1	Surma, Stanislaw J.
1	Takeuti, Gaisi
1	Troelstra, Anne Sjerp
1	van Fraassen, Bas C.
1	Veneri, B.
1	Visser, Albert
1	von Wright, Georg Henrik
1	Wadsworth, Christopher P.

all top 5

Serials

4	Atti della Accademia Nazionale dei Lincei. Serie Ottava. Rendiconti. Classe di Scienze Fisiche, Matematiche e Naturali
3	Theoretical Computer Science
3	Lecture Notes in Computer Science
2	Annali di Matematica Pura ed Applicata. Serie Quarta
2	International Journal of Computer & Information Sciences
2	Information and Computation
1	Information Processing Letters
1	Calcolo
1	Control and Cybernetics
1	The Journal of Symbolic Logic
1	Annales Societatis Mathematicae Polonae. Series IV
1	Rendiconti di Matematica e delle sue Applicazioni. Serie VII
1	Communications of the ACM
1	Fundamenta Informaticae
1	Rendiconti Di Matematica e Delle Sue Applicazioni, V. Serie
1	Synthese Library

all top 5

Fields

23	Computer science (68-XX)
22	Mathematical logic and foundations (03-XX)
4	General and overarching topics; collections (00-XX)
3	Combinatorics (05-XX)
2	History and biography (01-XX)
1	General algebraic systems (08-XX)
1	Number theory (11-XX)
1	Associative rings and algebras (16-XX)
1	Category theory; homological algebra (18-XX)
1	Ordinary differential equations (34-XX)
1	Quantum theory (81-XX)
1	Information and communication theory, circuits (94-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

30 Publications have been cited 240 times in 187 Documents	Cited by ▼	Year ▼
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006	155	1980
Automatic synthesis of typed \(\Lambda\)-programs on term algebras. Zbl 0597.68017 Böhm, Corrado; Berarducci, Alessandro	63	1985
Flow diagrams, Turing machines and languages with only two formation rules. Zbl 0145.24204 Böhm, C.; Jacopini, G.	51	1966
A discrimination algorithm inside \(\lambda -\beta\)-calculus. Zbl 0405.03005 Böhm, C.; Dezani-Ciancaglini, M.; Peretti, P.; Ronchi della Rocca, S.	14	1979
A self-interpreter of lambda calculus having a normal form. Zbl 0796.03023 Berarducci, Alessandro; Böhm, Corrado	13	1993
Combinatorial problems, combinator equations and normal forms. Zbl 0309.68037 Böhm, Corrado; Dezani-Ciancaglini, Mariangiola	12	1974
\(\lambda\)-terms as total or partial functions on normal forms. Zbl 0342.02017 Böhm, Corrado; Dezani-Ciancaglini, Mariangiola	12	1975
On the existence of cycles of given length in integer sequences like \(x_{n+1}=x_n/2\) if \(x_n\) even, and \(x_{n+1}=3x_n+1\) otherwise. Zbl 0417.10008 Böhm, Corrado; Sontacchi, Giovanna	11	1978
Termination tests inside lambda-calculus. Zbl 0358.02025 Böhm, C.; Coppo, M.; Dezani-Ciancaglini, M.	8	1977
A CUCH-machine: The automatic treatment of bound variables. Zbl 0277.68026 Böhm, Corrado; Dezani, Mariangiola	7	1972
The ant-lion paradigm for strong normalization. Zbl 0817.03006 Böhm, Corrado; Intrigila, Benedetto	7	1994
Nuovi criteri di esistenza di soluzioni periodiche di una nota equazione differenziale non lineare. Zbl 0053.24504 Böhm, Corrado	7	1953
\(\lambda\)-calculus and computer science theory. Proceedings of the symposium held in Rome, March 25-27, 1975. Zbl 0316.00005	4	1975
Introduction to the CUCH. Zbl 0192.06903 Böhm, C.; Gross, Wolf	4	1966
Notes on ”A CUCH-machine: The automatic treatment of bound variables”. Zbl 0277.68027 Böhm, Corrado; Dezani, Mariangiola	3	1973
Solving equations in lambda-calculus. Zbl 0686.03009 Böhm, C.; Piperno, A.; Tronci, E.	3	1989
Minimal forms in lambda-calculus computations. Zbl 0451.03002 Böhm, Corrado; Micali, Silvio	2	1980
Functional programming and combinatory algebras. Zbl 0668.68029 Böhm, Corrado	2	1988
Listing of information structures defined by fixed-point operators. Zbl 0308.68028 Böhm, C.; Dezani-Ciancaglini, M.; Ronchi della Rocca, S.	2	1974
Can syntax b e ignored during translation? Zbl 0261.68010 Böhm, Corrado; Dezani Ciancaglini, M.	2	1973
About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus. Zbl 0716.03003 Böhm, Corrado; Tronci, Enrico	2	1991
Subduing self-application. Zbl 0686.68010 Böhm, Corrado	2	1989
Combinatory logic as monoids. Zbl 0688.03008 Böhm, C.; Dezani-Ciancaglini, M.	2	1989
A data structure formalization through generating function. Zbl 0282.68012 Böhm, Corrado; Dezani-Ciancaglini, M.	1	1974
Listing the functional digraph structures. Zbl 0269.68020 Böhm, Corrado; Dezani-Ciancaglini, M.	1	1974
General recursion on second order term algebras. Zbl 0988.68044 Berarducci, Alessandro; Böhm, Corrado	1	2001
Surjectivity for finite sets of combinators by weak reduction. Zbl 0664.03014 Böhm, Corrado; Piperno, Adolfo	1	1988
Data structures and their transformations. Zbl 0366.68021 Böhm, Corrado; Dezaniciancaglini, Mariangiola	1	1975
Reducing recursion to iteration by algebraic extension. Zbl 0596.68010 Böhm, Corrado	1	1986
Calculatrices digitales. Du déchiffrage de formules logico- mathématiques par la machine même dans la conception du programme. Zbl 0057.10702 Böhm, Corrado	1	1954
General recursion on second order term algebras. Zbl 0988.68044 Berarducci, Alessandro; Böhm, Corrado	1	2001
The ant-lion paradigm for strong normalization. Zbl 0817.03006 Böhm, Corrado; Intrigila, Benedetto	7	1994
A self-interpreter of lambda calculus having a normal form. Zbl 0796.03023 Berarducci, Alessandro; Böhm, Corrado	13	1993
About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus. Zbl 0716.03003 Böhm, Corrado; Tronci, Enrico	2	1991
Solving equations in lambda-calculus. Zbl 0686.03009 Böhm, C.; Piperno, A.; Tronci, E.	3	1989
Subduing self-application. Zbl 0686.68010 Böhm, Corrado	2	1989
Combinatory logic as monoids. Zbl 0688.03008 Böhm, C.; Dezani-Ciancaglini, M.	2	1989
Functional programming and combinatory algebras. Zbl 0668.68029 Böhm, Corrado	2	1988
Surjectivity for finite sets of combinators by weak reduction. Zbl 0664.03014 Böhm, Corrado; Piperno, Adolfo	1	1988
Reducing recursion to iteration by algebraic extension. Zbl 0596.68010 Böhm, Corrado	1	1986
Automatic synthesis of typed \(\Lambda\)-programs on term algebras. Zbl 0597.68017 Böhm, Corrado; Berarducci, Alessandro	63	1985
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006	155	1980
Minimal forms in lambda-calculus computations. Zbl 0451.03002 Böhm, Corrado; Micali, Silvio	2	1980
A discrimination algorithm inside \(\lambda -\beta\)-calculus. Zbl 0405.03005 Böhm, C.; Dezani-Ciancaglini, M.; Peretti, P.; Ronchi della Rocca, S.	14	1979
On the existence of cycles of given length in integer sequences like \(x_{n+1}=x_n/2\) if \(x_n\) even, and \(x_{n+1}=3x_n+1\) otherwise. Zbl 0417.10008 Böhm, Corrado; Sontacchi, Giovanna	11	1978
Termination tests inside lambda-calculus. Zbl 0358.02025 Böhm, C.; Coppo, M.; Dezani-Ciancaglini, M.	8	1977
\(\lambda\)-terms as total or partial functions on normal forms. Zbl 0342.02017 Böhm, Corrado; Dezani-Ciancaglini, Mariangiola	12	1975
\(\lambda\)-calculus and computer science theory. Proceedings of the symposium held in Rome, March 25-27, 1975. Zbl 0316.00005	4	1975
Data structures and their transformations. Zbl 0366.68021 Böhm, Corrado; Dezaniciancaglini, Mariangiola	1	1975
Combinatorial problems, combinator equations and normal forms. Zbl 0309.68037 Böhm, Corrado; Dezani-Ciancaglini, Mariangiola	12	1974
Listing of information structures defined by fixed-point operators. Zbl 0308.68028 Böhm, C.; Dezani-Ciancaglini, M.; Ronchi della Rocca, S.	2	1974
A data structure formalization through generating function. Zbl 0282.68012 Böhm, Corrado; Dezani-Ciancaglini, M.	1	1974
Listing the functional digraph structures. Zbl 0269.68020 Böhm, Corrado; Dezani-Ciancaglini, M.	1	1974
Notes on ”A CUCH-machine: The automatic treatment of bound variables”. Zbl 0277.68027 Böhm, Corrado; Dezani, Mariangiola	3	1973
Can syntax b e ignored during translation? Zbl 0261.68010 Böhm, Corrado; Dezani Ciancaglini, M.	2	1973
A CUCH-machine: The automatic treatment of bound variables. Zbl 0277.68026 Böhm, Corrado; Dezani, Mariangiola	7	1972
Flow diagrams, Turing machines and languages with only two formation rules. Zbl 0145.24204 Böhm, C.; Jacopini, G.	51	1966
Introduction to the CUCH. Zbl 0192.06903 Böhm, C.; Gross, Wolf	4	1966
Calculatrices digitales. Du déchiffrage de formules logico- mathématiques par la machine même dans la conception du programme. Zbl 0057.10702 Böhm, Corrado	1	1954
Nuovi criteri di esistenza di soluzioni periodiche di una nota equazione differenziale non lineare. Zbl 0053.24504 Böhm, Corrado	7	1953

all cited Publications top 5 cited Publications

all top 5

Cited by 246 Authors

11	Dezani-Ciancaglini, Mariangiola
5	Klop, Jan Willem
5	Leonov, Gennadiĭ Alekseevich
4	Ronchi Della Rocca, Simona
4	Stump, Aaron
4	Tronci, Enrico
3	Böhm, Corrado
3	Hasegawa, Ryu
3	Jay, C. Barry
3	Leivant, Daniel M.
3	Longo, Giuseppe
3	Nour, Karim
3	Palsberg, Jens
3	Salle, Patrick
3	van Oostrom, Vincent
2	Barendregt, Hendrik Pieter
2	Berardi, Stefano
2	Berg, Lothar
2	Bernardy, Jean-Philippe
2	Cardelli, Luca
2	Carlucci Aiello, Luigia
2	Coppo, Mario
2	Curien, Pierre-Louis
2	de Vrijer, R. C.
2	de’Liguoro, Ugo
2	Intrigila, Benedetto
2	Jacopini, Giuseppe
2	Jansson, Patrik
2	Jenkins, Christopher
2	Khasidashvili, Zurab O.
2	Kiselyov, Oleg
2	Krause, Philipp Klaus
2	Liberti, Leo
2	Miranda Perea, Favio Ezequiel
2	Paolini, Luca
2	Paterson, Ross A.
2	Paulin-Mohring, Christine
2	Pfenning, Frank
2	Robinet, Bernard J.
2	Ščedrov, Andrej
2	Seldin, Jonathan P.
2	Sørensen, Morten Heine B.
2	Statman, Richard
2	van Raamsdonk, Femke
2	Wadler, Philip Lee
2	Washburn, Geoffrey
2	Weirich, Stephanie
2	Zacchi, Maddalena
1	Abadi, Martín
1	Agamirzyan, I. R.
1	Aiello, Mario
1	Ariola, Zena M.
1	Asperti, Andrea
1	Axelsen, Holger Bock
1	Bainbridge, E. S.
1	Bandyopadhyay, Samir Kumar
1	Barbanera, Franco
1	Bastani, Osbert
1	Bento, Lucila Maria Souza
1	Bergstra, Jan A.
1	Bjørner, Dines
1	Boccardo, Davidson R.
1	Bono, Viviana
1	Börger, Egon
1	Breazu-Tannen, Val
1	Bry, François
1	Burton, C. T. P.
1	Byun, Sugwoo
1	Canal, Richard
1	Caporaso, Salvatore
1	Cardone, Felice
1	Carette, Jacques
1	Chen, Jing
1	Ciabattoni, Agata
1	Colson, Loïc
1	Condon, Anne E.
1	Conejo, Ricardo
1	Cooper, Colin
1	Coquand, Thierry
1	Cousineau, Guy
1	Danner, Norman
1	Dashti, Mohammad
1	David, Rene
1	de Vries, Fer-Jan J.
1	de Vrijer, Roel
1	Degli Antoni, Giovanni
1	Delaware, Benjamin
1	Dershowitz, Nachum
1	Devienne, Philippe
1	Diehl, Larry
1	Ding, Liping
1	Downen, Paul
1	Dybkjær, Hans
1	Fan, XiuBin
1	Farkh, Samir
1	Farmer, William M.
1	Feder, Jerome
1	Fehr, Elfriede
1	Feng, Dengguo
1	Fenton, Norman E.
...and 146 more Authors

all top 5

Cited in 61 Serials

44	Theoretical Computer Science
9	Information and Computation
9	Journal of Functional Programming
8	RAIRO, Informatique Théorique
7	Annals of Pure and Applied Logic
5	Mathematical Structures in Computer Science
4	Information Processing Letters
3	Discrete Applied Mathematics
3	Calcolo
3	Journal of Computer and System Sciences
3	BIT. Nordisk Tidskrift for Informationsbehandling
2	Archiv für Mathematische Logik und Grundlagenforschung
2	Journal of Applied Mathematics and Mechanics
2	Logical Methods in Computer Science
2	Revue Française d’Automatique, Informatique, Recherche Opérationnelle. Série Rouge
1	Discrete Mathematics
1	ZAMP. Zeitschrift für angewandte Mathematik und Physik
1	BIT
1	Fuzzy Sets and Systems
1	Information Sciences
1	International Journal of Computer & Information Sciences
1	Journal of Soviet Mathematics
1	The Journal of Symbolic Logic
1	Mathematische Nachrichten
1	Notre Dame Journal of Formal Logic
1	Proceedings of the American Mathematical Society
1	Results in Mathematics
1	Siberian Mathematical Journal
1	Tokyo Journal of Mathematics
1	Cybernetics
1	Science of Computer Programming
1	Journal of Computer Science and Technology
1	Formal Aspects of Computing
1	International Journal of Electronics
1	Annals of Operations Research
1	International Journal of Foundations of Computer Science
1	Godishnik na Sofiĭskiya Universitet “Sv. Kliment Okhridski”. Fakultet po Matematika i Informatika
1	Automation and Remote Control
1	Archive for Mathematical Logic
1	Indagationes Mathematicae. New Series
1	Cybernetics and Systems Analysis
1	Computational Complexity
1	Journal of Applied Non-Classical Logics
1	Combinatorics, Probability and Computing
1	Top
1	The Bulletin of Symbolic Logic
1	Journal of Combinatorial Optimization
1	RAIRO. Theoretical Informatics and Applications
1	Integers
1	Miscelánea Matemática
1	The Journal of Logic and Algebraic Programming
1	Journal of Systems Science and Complexity
1	Theory and Practice of Logic Programming
1	Computational Methods and Function Theory
1	PMM, Journal of Applied Mathematics and Mechanics
1	\(p\)-Adic Numbers, Ultrametric Analysis, and Applications
1	Theoretical Economics
1	Sankhyā. Series A
1	Computer Science Review
1	Chinese Journal of Mathematics
1	Journal of Logical and Algebraic Methods in Programming

all top 5

Cited in 19 Fields

131	Computer science (68-XX)
97	Mathematical logic and foundations (03-XX)
12	Number theory (11-XX)
6	Category theory; homological algebra (18-XX)
6	Dynamical systems and ergodic theory (37-XX)
4	Combinatorics (05-XX)
3	Ordinary differential equations (34-XX)
3	Operations research, mathematical programming (90-XX)
3	Systems theory; control (93-XX)
2	History and biography (01-XX)
2	General algebraic systems (08-XX)
2	Group theory and generalizations (20-XX)
2	Difference and functional equations (39-XX)
1	Functions of a complex variable (30-XX)
1	Integral equations (45-XX)
1	Geometry (51-XX)
1	Statistics (62-XX)
1	Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1	Information and communication theory, circuits (94-XX)

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.