dblp.uni-trier.dewww.uni-trier.de

Corrado Böhm Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2001
28EEAlessandro Berarducci, Corrado Böhm: General Recursion on Second Order Term Algebras. RTA 2001: 15-30
1999
27 Corrado Böhm: Fixed Point Equations Inside the Algebra of Normal Forms. Fundam. Inform. 37(4): 329-342 (1999)
1997
26EECorrado Böhm: Theoretical Computer Science and Software Science: The Past, the Present and the Future (Position Paper). TAPSOFT 1997: 3-5
1994
25EECorrado Böhm, Adolfo Piperno, Stefano Guerrini: Lambda-Definition of Function(al)s by Normal Forms. ESOP 1994: 135-149
24 Corrado Böhm, Benedetto Intrigila: The Ant-Lion Paradigm for Strong Normalization Inf. Comput. 114(1): 30-49 (1994)
1992
23EEAlessandro Berarducci, Corrado Böhm: A Self-Interpreter of Lambda Calculus Having a Normal Form. CSL 1992: 85-99
1991
22 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)
1989
21EECorrado Böhm: Subduing Self-Application. ICALP 1989: 108-122
1988
20 Corrado Böhm, Adolfo Piperno: Characterizing X-Separability and One-Side Invertibility in lambda-beta-Omega-Calculus LICS 1988: 91-101
19EECorrado Böhm: Functional Programming and Combinatory Algebras. MFCS 1988: 14-26
1987
18EECorrado Böhm, Adolfo Piperno: Surjectivity for Finite Sets of Combinators by Weak Reduction. CSL 1987: 27-43
17 Corrado Böhm, Enrico Tronci: X-Separability and Left-Invertibility in lambda-calculus LICS 1987: 320-328
1986
16EECorrado Böhm: Reducing Recursion to Iteration by Algebraic Extension. ESOP 1986: 111-118
15 Corrado Böhm: Reducing Recursion to Iteration by Means of Pairs and N-tuples. Foundations of Logic and Functional Programming 1986: 58-66
1985
14 Corrado Böhm, Alessandro Berarducci: Automatic Synthesis of Typed Lambda-Programs on Term Algebras. Theor. Comput. Sci. 39: 135-154 (1985)
1982
13 Corrado Böhm: Combinatory Foundation of Functional Programming. Symposium on LISP and Functional Programming 1982: 29-36
1981
12 Egidio Astesiano, Corrado Böhm: CAAP '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings Springer 1981
1980
11 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)
10 Corrado Böhm, Silvio Micali: Minimal Forms in lambda-Calculus Computations. J. Symb. Log. 45(1): 165-171 (1980)
1979
9 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
8 Giorgio Ausiello, Corrado Böhm: Automata, Languages and Programming, Fifth Colloquium, Udine, Italy, July 17-21, 1978, Proceedings Springer 1978
1977
7EECorrado Böhm, Mario Coppo, Mariangiola Dezani-Ciancaglini: Termination Tests inside lambda-Calculus. ICALP 1977: 95-110
1975
6 Corrado Böhm: Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, March 25-27, 1975 Springer 1975
5 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
1974
4EECorrado Böhm, Mariangiola Dezani-Ciancaglini: Combinatorial Problems, Combinator Equations and Normal Forms. ICALP 1974: 185-199
3 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
1972
2 Corrado Böhm: Can Syntax Be Ignored during Translation? ICALP 1972: 197-207
1966
1EECorrado Böhm, Giuseppe Jacopini: Flow diagrams, turing machines and languages with only two formation rules. Commun. ACM 9(5): 366-371 (1966)

Coauthor Index

1Egidio Astesiano [12]
2Giorgio Ausiello [8]
3Alessandro Berarducci [14] [23] [28]
4Mario Coppo [7]
5Mariangiola Dezani-Ciancaglini [3] [4] [5] [7] [9]
6Stefano Guerrini [25]
7Benedetto Intrigila [24]
8Giuseppe Jacopini [1]
9Antonio Machi [11]
10Silvio Micali [10]
11P. Peretti [9]
12Adolfo Piperno [18] [20] [25]
13Simona Ronchi Della Rocca [3] [9]
14Giovanna Sontacchi [11]
15Enrico Tronci [17] [22]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)