Valérie Ménissier-Morain

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2005

3 Valérie Ménissier-Morain: Arbitrary precision real arithmetic: design and algorithms. J. Log. Algebr. Program. 64(1): 13-39 (2005)

1999

2 Sylvain Boulmé, Thérèse Hardin, Daniel Hirschkoff, Valérie Ménissier-Morain, Renaud Rioboo: On the way to certify Computer Algebra Systems. Electr. Notes Theor. Comput. Sci. 23(3): (1999)

1 Catherine Dubois, Valérie Ménissier-Morain: Certification of a Type Inference Tool for ML: Damas-Milner within Coq. J. Autom. Reasoning 23(3-4): 319-346 (1999)

	2005
3		Valérie Ménissier-Morain: Arbitrary precision real arithmetic: design and algorithms. J. Log. Algebr. Program. 64(1): 13-39 (2005)
	1999
2		Sylvain Boulmé, Thérèse Hardin, Daniel Hirschkoff, Valérie Ménissier-Morain, Renaud Rioboo: On the way to certify Computer Algebra Systems. Electr. Notes Theor. Comput. Sci. 23(3): (1999)
1		Catherine Dubois, Valérie Ménissier-Morain: Certification of a Type Inference Tool for ML: Damas-Milner within Coq. J. Autom. Reasoning 23(3-4): 319-346 (1999)

Coauthor Index