Giuseppe Jacopini

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1975

2 Giuseppe Jacopini: A condition for identifying two elements of whatever model of combinatory logic. Lambda-Calculus and Computer Science Theory 1975: 213-219

1966

1 Corrado Böhm, Giuseppe Jacopini: Flow diagrams, turing machines and languages with only two formation rules. Commun. ACM 9(5): 366-371 (1966)

	1975
2		Giuseppe Jacopini: A condition for identifying two elements of whatever model of combinatory logic. Lambda-Calculus and Computer Science Theory 1975: 213-219
	1966
1		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

1 Corrado Böhm [1]