Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCorrado Böhm
Person information
- affiliation: University of Rome La Sapienza, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2001
[c17]Alessandro Berarducci
, Corrado Böhm:
General Recursion on Second Order Term Algebras. RTA 2001: 15-30
1990 – 1999
- 1999
- [j10]Corrado Böhm:
Fixed Point Equations Inside the Algebra of Normal Forms. Fundam. Informaticae 37(4): 329-342 (1999) - 1997
- [c16]Corrado Böhm:
Theoretical Computer Science and Software Science: The Past, the Present and the Future (Position Paper). TAPSOFT 1997: 3-5 - 1994
- [j9]Corrado Böhm, Benedetto Intrigila:
The Ant-Lion Paradigm for Strong Normalization. Inf. Comput. 114(1): 30-49 (1994) - [c15]Corrado Böhm, Adolfo Piperno, Stefano Guerrini:
Lambda-Definition of Function(al)s by Normal Forms. ESOP 1994: 135-149 - 1992
- [c14]Alessandro Berarducci, Corrado Böhm:
A Self-Interpreter of Lambda Calculus Having a Normal Form. CSL 1992: 85-99 - 1991
- [j8]Corrado Böhm, Enrico Tronci:
About Systems of Equations, X-Separability, and Left-Invertibility in the lambda-Calculus. Inf. Comput. 90(1): 1-32 (1991)
1980 – 1989
- 1989
- [c13]Corrado Böhm:
Subduing Self-Application. ICALP 1989: 108-122 - 1988
- [c12]Corrado Böhm, Adolfo Piperno:
Characterizing X-Separability and One-Side Invertibility in lambda-beta-Omega-Calculus. LICS 1988: 91-101 - [c11]Corrado Böhm:
Functional Programming and Combinatory Algebras. MFCS 1988: 14-26 - 1987
- [c10]Corrado Böhm, Adolfo Piperno:
Surjectivity for Finite Sets of Combinators by Weak Reduction. CSL 1987: 27-43 - [c9]Corrado Böhm, Enrico Tronci:
X-Separability and Left-Invertibility in lambda-calculus. LICS 1987: 320-328 - 1986
- [c8]Corrado Böhm:
Reducing Recursion to Iteration by Algebraic Extension. ESOP 1986: 111-118 - [c7]Corrado Böhm:
Reducing Recursion to Iteration by Means of Pairs and N-tuples. Foundations of Logic and Functional Programming 1986: 58-66 - 1985
- [j7]Corrado Böhm, Alessandro Berarducci:
Automatic Synthesis of Typed Lambda-Programs on Term Algebras. Theor. Comput. Sci. 39: 135-154 (1985) - 1982
- [c6]Corrado Böhm:
Combinatory Foundation of Functional Programming. Symposium on LISP and Functional Programming 1982: 29-36 - 1981
- [e3]Egidio Astesiano, Corrado Böhm:
CAAP '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings. Lecture Notes in Computer Science 112, Springer 1981, ISBN 3-540-10828-9 [contents] - 1980
- [j6]Corrado Böhm, Antonio Machi, Giovanna Sontacchi:
Complexity Bounds for Equivalence and Isomorphism of Latin Squares. Inf. Process. Lett. 10(4/5): 231-233 (1980) - [j5]Corrado Böhm, Silvio Micali:
Minimal Forms in lambda-Calculus Computations. J. Symb. Log. 45(1): 165-171 (1980)
1970 – 1979
- 1979
- [j4]Corrado Böhm, Mariangiola Dezani-Ciancaglini, P. Peretti, Simona Ronchi Della Rocca:
A Discrimination Algorithm Inside lambda-beta-Calculus. Theor. Comput. Sci. 8: 265-292 (1979) - 1978
- [e2]Giorgio Ausiello, Corrado Böhm:
Automata, Languages and Programming, Fifth Colloquium, Udine, Italy, July 17-21, 1978, Proceedings. Lecture Notes in Computer Science 62, Springer 1978, ISBN 3-540-08860-1 [contents] - 1977
- [c5]Corrado Böhm, Mario Coppo, Mariangiola Dezani-Ciancaglini:
Termination Tests inside lambda-Calculus. ICALP 1977: 95-110 - 1975
- [c4]Corrado Böhm, Mariangiola Dezani-Ciancaglini:
Lambda-terms as total or partial functions on normal forms. Lambda-Calculus and Computer Science Theory 1975: 96-121 - [e1]Corrado Böhm:
Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975. Lecture Notes in Computer Science 37, Springer 1975, ISBN 3-540-07416-3 [contents] - 1974
- [c3]Corrado Böhm, Mariangiola Dezani-Ciancaglini:
Combinatorial Problems, Combinator Equations and Normal Forms. ICALP 1974: 185-199 - [c2]Corrado Böhm, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca:
Listing of information structures defined by fixed-point operators. Symposium on Programming 1974: 266-279 - 1973
- [j3]Corrado Böhm, Mariangiola Dezani:
Notes on "A CUCH-machine: The automatic treatment of bound variables". Int. J. Parallel Program. 2(2): 157-160 (1973) - 1972
- [j2]Corrado Böhm, Mariangiola Dezani-Ciancaglini:
A CUCH-machine: The automatic treatment of bound variables. Int. J. Parallel Program. 1(2): 171-191 (1972) - [c1]Corrado Böhm, Mariangiola Dezani-Ciancaglini:
Can Syntax Be Ignored during Translation? ICALP 1972: 197-207
1960 – 1969
- 1966
- [j1]Corrado Böhm, Giuseppe Jacopini:
Flow diagrams, turing machines and languages with only two formation rules. Commun. ACM 9(5): 366-371 (1966)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
