Marianna Simonot

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1994

2 Pascal Manoury, Marianna Simonot: Automatizing Termination Proofs of Recursively Defined Functions. Theor. Comput. Sci. 135(2): 319-343 (1994)

1992

1 Pascal Manoury, Michel Parigot, Marianna Simonot: ProPre A Programming Language with Proofs. LPAR 1992: 484-486

	1994
2		Pascal Manoury, Marianna Simonot: Automatizing Termination Proofs of Recursively Defined Functions. Theor. Comput. Sci. 135(2): 319-343 (1994)
	1992
1		Pascal Manoury, Michel Parigot, Marianna Simonot: ProPre A Programming Language with Proofs. LPAR 1992: 484-486

Coauthor Index