Searching for authors named "Laurence Rideau" – sorted by Relevance.
-
Abstract UITP 2003 Preliminary Version TEX macs as Authoring Tool for Formal Developments
- Audebaud 1 Lemme Project INRIA Sophia Antipolis, France Laurence Rideau 2 Lemme Project INRIA Sophia
- Add To MetaCart
-
Distributed Programming Environments: An Example of a Message Protocol
- Rideau N 165 Ao ut 1994 PROGRAMME 2 Calcul symbolique, programmation et genie logiciel Distributed
- Add To MetaCart
-
Interactive Programming Environment for ML
- AUTOMATIQUE Interactive Programming Environment for ML Laurence Rideau and Laurent Thery N 3139 March 1997
- Cited by 7 (0 self) – Add To MetaCart
-
Notions Of Dependency In Proof Assistants
- Notionsofdependencyinproofassistants OlivierPons,YvesBertotandLaurenceRideau INRIASophia
- Cited by 5 (3 self) – Add To MetaCart
-
A modular formalisation of finite group theory
- Rideau † , Enrico Tassi ‡ and Laurent Théry † Microsoft Research INRIA † University of Bologna ‡ gonthier
- Cited by 1 (0 self) – Add To MetaCart
-
Distributed Architecture for Programming Environments
- AUTOMATIQUE Distributed Architecture for Programming Environments Anne-Marie Dery, Laurence Rideau N 2918
- Add To MetaCart
-
Mathematics and Proof Presentation in Pcoq
- Rideau INRIA Sophia Antipolis 1 Introduction Pcoq is the latest product in a decade-long eoeort
- Cited by 6 (1 self) – Add To MetaCart

