G. Jacopini

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1993

4 G. Jacopini, G. Sontacchi: General Recursive Functions in a Very Simply Interpretable Typed lambda-Calculus. Theor. Comput. Sci. 121(1&2): 169-178 (1993)

1990

3 G. Jacopini, P. Mentrasti, G. Sontacchi: Reversible Turing Machines and Polynomial Time Reversibly Computable Functions. SIAM J. Discrete Math. 3(2): 241-254 (1990)

2 G. Jacopini, G. Sontacchi: Reversible Parallel Computation: An Evolving Space-Model. Theor. Comput. Sci. 73(1): 1-46 (1990)

1989

1 G. Jacopini, P. Mentrasti: Generation of Invertible Functions. Theor. Comput. Sci. 66(3): 289-297 (1989)

	1993
4		G. Jacopini, G. Sontacchi: General Recursive Functions in a Very Simply Interpretable Typed lambda-Calculus. Theor. Comput. Sci. 121(1&2): 169-178 (1993)
	1990
3		G. Jacopini, P. Mentrasti, G. Sontacchi: Reversible Turing Machines and Polynomial Time Reversibly Computable Functions. SIAM J. Discrete Math. 3(2): 241-254 (1990)
2		G. Jacopini, G. Sontacchi: Reversible Parallel Computation: An Evolving Space-Model. Theor. Comput. Sci. 73(1): 1-46 (1990)
	1989
1		G. Jacopini, P. Mentrasti: Generation of Invertible Functions. Theor. Comput. Sci. 66(3): 289-297 (1989)

Coauthor Index