C. Böhm
发表
Corrado Böhm,
Adolfo Piperno,
A. Piperno,
1988
.
C. Böhm,
2003
.
Corrado Böhm,
Adolfo Piperno,
Stefano Guerrini,
1994,
ESOP.
Corrado Böhm,
Alessandro Berarducci,
A. Berarducci,
1992,
CSL.
Corrado Böhm,
Giuseppe Jacopini,
C. Böhm,
1966,
CACM.
Mariangiola Dezani-Ciancaglini,
Corrado Böhm,
M. Dezani-Ciancaglini,
1972,
International Journal of Computer & Information Sciences.
Mariangiola Dezani-Ciancaglini,
Corrado Böhm,
M. Dezani-Ciancaglini,
1975
.
Mariangiola Dezani-Ciancaglini,
Simona Ronchi Della Rocca,
Corrado Böhm,
1979,
Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini,
Corrado Böhm,
M. Dezani-Ciancaglini,
1975,
Lambda-Calculus and Computer Science Theory.
Corrado Böhm,
Alessandro Berarducci,
A. Berarducci,
1985,
Theor. Comput. Sci..
Corrado Böhm,
C. Böhm,
1988,
International Symposium on Mathematical Foundations of Computer Science.
Corrado Böhm,
C. Böhm,
1999,
Fundam. Informaticae.
Corrado Böhm,
C. Böhm,
1989,
ICALP.
E. Tronci,
C. Böhm,
E. Tronci,
1989
.
Corrado Böhm,
C. Böhm,
1982,
LFP '82.
Mariangiola Dezani-Ciancaglini,
Corrado Böhm,
M. Dezani-Ciancaglini,
1974,
ICALP.
C. Böhm,
C. Böhm,
1975,
Lecture Notes in Computer Science.
Enrico Tronci,
Corrado Böhm,
E. Tronci,
1991,
Inf. Comput..