Daniel de Rauglaudre

Publication Activity (10 Years)

Years Active: 1992-2017
Publications (10 Years): 1

Top Topics

Artificial Intelligence

Top Venues

J. Formaliz. Reason.

Publications

Daniel de Rauglaudre
Formal Proof of Banach-Tarski Paradox. J. Formaliz. Reason. 10 (1) (2017)
Patrick Meumeu Yomsi, Yves Sorel, Daniel de Rauglaudre, Laurent George
Improving the Sensitivity of Deadlines with a Specific Asynchronous Scenario for Harmonic Periodic Tasks scheduled by FP. ICONS (2009)
Daniel de Rauglaudre, Michel Mauny
Parsers in ML. LISP and Functional Programming (1992)