|
Search the dblp DataBase
Laurence Rideau:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Michel Auguin, Mohamed Belhadj, Judith Benzakki, C. Carrière, Guy Durrieu, Thierry Gautier, Michel Israël, Paul Le Guernic, Michel Lemaître, E. Martin, P. Quinton, Laurence Rideau, François Rousseau, Olivier Sentieys
Towards a multi-formalism framework for architectural synthesis: the ASAR project. [Citation Graph (0, 0)][DBLP] CODES, 1994, pp:25-32 [Conf]
- Marc Daumas, Laurence Rideau, Laurent Théry
A Generic Library for Floating-Point Numbers and Its Application to Exact Computing. [Citation Graph (0, 0)][DBLP] TPHOLs, 2001, pp:169-184 [Conf]
- Philippe Audebaud, Laurence Rideau
TEXmacs as Authoring Tool for Formal Developments. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:27-48 [Journal]
- Georges Gonthier, Assia Mahboubi, Laurence Rideau, Enrico Tassi, Laurent Théry
A Modular Formalisation of Finite Group Theory. [Citation Graph (0, 0)][DBLP] TPHOLs, 2007, pp:86-101 [Conf]
Packaging Mathematical Structures. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|