Pascal Manoury (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

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

Selection of 2 from 5 records - Pascal Manoury has 13 coauthors

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