|
Search the dblp DataBase
Pascal Manoury:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Anne Brygoo, Titou Durand, Pascal Manoury, Christian Queinnec, Michèle Soria
Experiment around a training engine. [Citation Graph (0, 0)][DBLP] TelE-Learning, 2002, pp:45-52 [Conf]
- Pascal Manoury, Michel Parigot, Marianna Simonot
ProPre A Programming Language with Proofs. [Citation Graph (0, 0)][DBLP] LPAR, 1992, pp:484-486 [Conf]
- Pascal Manoury
A User's Friendly Syntax to Define Recursive Functions as Typed lambda-Terms. [Citation Graph (0, 0)][DBLP] TYPES, 1994, pp:83-100 [Conf]
- Pascal Manoury, Marianna Simonot
Automatizing Termination Proofs of Recursively Defined Functions. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1994, v:135, n:2, pp:319-343 [Journal]
Experience report: using objective caml to develop safety-critical embedded tools in a certification framework. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|