×

zbMATH — the first resource for mathematics

Böhm, Corrado

Compute Distance To:
Author ID: bohm.corrado Recent zbMATH articles by "Böhm, Corrado"
Published as: Böhm, Corrado; Böhm, C.; Boehm, C.
External Links: MGP · Wikidata · dblp · GND · IdRef
Documents Indexed: 43 Publications since 1953, including 4 Books
Biographic References: 1 Publication

Publications by Year

Citations contained in zbMATH Open

26 Publications have been cited 188 times in 146 Documents Cited by Year
Flow diagrams, Turing machines and languages with only two formation rules. Zbl 0145.24204
Böhm, C.; Jacopini, G.
47
1966
Automatic synthesis of typed \(\Lambda\)-programs on term algebras. Zbl 0597.68017
Böhm, Corrado; Berarducci, Alessandro
44
1985
A discrimination algorithm inside \(\lambda -\beta\)-calculus. Zbl 0405.03005
Böhm, C.; Dezani-Ciancaglini, M.; Peretti, P.; Ronchi della Rocca, S.
11
1979
Combinatorial problems, combinator equations and normal forms. Zbl 0309.68037
Böhm, Corrado; Dezani-Ciancaglini, Mariangiola
11
1974
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
9
1978
\(\lambda\)-terms as total or partial functions on normal forms. Zbl 0342.02017
Böhm, Corrado; Dezani-Ciancaglini, Mariangiola
7
1975
Termination tests inside lambda-calculus. Zbl 0358.02025
Böhm, C.; Coppo, M.; Dezani-Ciancaglini, M.
7
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
6
1953
A self-interpreter of lambda calculus having a normal form. Zbl 0796.03023
Berarducci, Alessandro; Böhm, Corrado
6
1993
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
About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus. Zbl 0716.03003
Böhm, Corrado; Tronci, Enrico
2
1991
Can syntax b e ignored during translation? Zbl 0261.68010
Böhm, Corrado; Dezani Ciancaglini, M.
2
1973
Listing of information structures defined by fixed-point operators. Zbl 0308.68028
Böhm, C.; Dezani-Ciancaglini, M.; Ronchi della Rocca, S.
2
1974
Subduing self-application. Zbl 0686.68010
Böhm, Corrado
2
1989
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
\(\lambda\)-calculus and computer science theory. Proceedings of the symposium held in Rome, March 25-27, 1975. Zbl 0316.00005
Böhm, C. (ed.)
1
1975
Minimal forms in lambda-calculus computations. Zbl 0451.03002
Böhm, Corrado; Micali, Silvio
1
1980
Listing the functional digraph structures. Zbl 0269.68020
Böhm, Corrado; Dezani-Ciancaglini, M.
1
1974
A data structure formalization through generating function. Zbl 0282.68012
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
Reducing recursion to iteration by algebraic extension. Zbl 0596.68010
Böhm, Corrado
1
1986
Combinatory logic as monoids. Zbl 0688.03008
Böhm, C.; Dezani-Ciancaglini, M.
1
1989
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
6
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.
1
1989
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
44
1985
Minimal forms in lambda-calculus computations. Zbl 0451.03002
Böhm, Corrado; Micali, Silvio
1
1980
A discrimination algorithm inside \(\lambda -\beta\)-calculus. Zbl 0405.03005
Böhm, C.; Dezani-Ciancaglini, M.; Peretti, P.; Ronchi della Rocca, S.
11
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
9
1978
Termination tests inside lambda-calculus. Zbl 0358.02025
Böhm, C.; Coppo, M.; Dezani-Ciancaglini, M.
7
1977
\(\lambda\)-terms as total or partial functions on normal forms. Zbl 0342.02017
Böhm, Corrado; Dezani-Ciancaglini, Mariangiola
7
1975
\(\lambda\)-calculus and computer science theory. Proceedings of the symposium held in Rome, March 25-27, 1975. Zbl 0316.00005
Böhm, C.
1
1975
Combinatorial problems, combinator equations and normal forms. Zbl 0309.68037
Böhm, Corrado; Dezani-Ciancaglini, Mariangiola
11
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
Listing the functional digraph structures. Zbl 0269.68020
Böhm, Corrado; Dezani-Ciancaglini, M.
1
1974
A data structure formalization through generating function. Zbl 0282.68012
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.
47
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
6
1953
all top 5

Cited by 196 Authors

7 Dezani-Ciancaglini, Mariangiola
5 Leonov, Gennadiĭ Alekseevich
4 Ronchi Della Rocca, Simona
4 Tronci, Enrico
3 Böhm, Corrado
3 Klop, Jan Willem
3 Nour, Karim
3 Salle, Patrick
3 van Oostrom, Vincent
2 Barendregt, Hendrik Pieter
2 Berardi, Stefano
2 Berg, Lothar
2 Carlucci Aiello, Luigia
2 Curien, Pierre-Louis
2 de’Liguoro, Ugo
2 Intrigila, Benedetto
2 Jacopini, Giuseppe
2 Khasidashvili, Zurab O.
2 Kiselyov, Oleg
2 Krause, Philipp Klaus
2 Leivant, Daniel M.
2 Liberti, Leo
2 Miranda Perea, Favio Ezequiel
2 Paolini, Luca
2 Robinet, Bernard J.
2 Sørensen, Morten Heine B.
2 Statman, Rick
2 Stump, Aaron
2 van Raamsdonk, Femke
2 Wadler, Philip Lee
1 Abadi, Martín
1 Agamirzyan, I. R.
1 Aiello, Mario
1 Axelsen, Holger Bock
1 Bainbridge, E. S.
1 Bento, Lucila Maria Souza
1 Bergstra, Jan A.
1 Bernardy, Jean-Philippe
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 Canal, Richard
1 Caporaso, Salvatore
1 Cardelli, Luca
1 Cardone, Felice
1 Carette, Jacques
1 Colson, Loïc
1 Condon, Anne E.
1 Conejo, Ricardo
1 Cooper, Colin
1 Coppo, Mario
1 Coquand, Thierry
1 Cousineau, Guy
1 Danner, Norman
1 Dashti, Mohammad
1 David, Rene
1 de Vries, Fer-Jan J.
1 de Vrijer, R. C.
1 de Vrijer, Roel
1 Devienne, Philippe
1 Dezani, Mariangiola
1 Ding, Liping
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.
1 Floyd, Robert W.
1 Freyd, Peter J.
1 Friedman, Daniel P.
1 Fu, Peng
1 Fu, Yuxi
1 Germano, Giorgio M.
1 Geuvers, Jan Herman
1 Ghani, Neil
1 Glück, Robert
1 Halaas, Arne
1 Hanschke, Philipp
1 Hasegawa, Ryu
1 Hindley, Roger
1 Hirokawa, Sachio
1 Honsell, Furio
1 Hortala-Gonzalez, Maria Teresa
1 Huet, Gerard P.
1 Ibarra, Oscar H.
1 Ivanov, Aleksandr S.
1 Jansson, Patrik
1 Jay, C. Barry
1 Johann, Patricia
1 Joly, Thierry
1 Kanazawa, Makoto
1 Kaposi, A. A.
1 Knuth, Donald Ervin
...and 96 more Authors
all top 5

Cited in 56 Serials

42 Theoretical Computer Science
8 RAIRO, Informatique Théorique
8 Journal of Functional Programming
7 Information and Computation
6 Annals of Pure and Applied Logic
4 Information Processing Letters
4 MSCS. Mathematical Structures in Computer Science
3 Discrete Applied Mathematics
3 Calcolo
3 BIT. Nordisk Tidskrift for Informationsbehandling
2 Archiv für Mathematische Logik und Grundlagenforschung
2 Journal of Applied Mathematics and Mechanics
2 Journal of Computer and System Sciences
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 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 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 Sankhyā. Series A
1 Computer Science Review
1 Chinese Journal of Mathematics
1 Journal of Logical and Algebraic Methods in Programming

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.