Pierre Castéran

Publication Activity (10 Years)

Years Active: 1991-2014
Publications (10 Years): 0

Top Topics

Mathematical Theory

Top Venues

NII Shonan Meet. Rep.

Publications

Pierre Castéran, Jacques Garrigue, David Nowak
Summer School on Coq (NII Shonan Meeting 2014-9). NII Shonan Meet. Rep. 2014 (2014)
Pierre Castéran, Vincent Filou
Tasks, Types and Tactics for Local Computation Systems. Stud. Inform. Univ. 9 (1) (2011)
Srecko Brlek, Pierre Castéran, Laurent Habsieger, Richard Mallette
On-Line Evaluation of Powers Using Euclid's Algorithm. RAIRO Theor. Informatics Appl. 29 (5) (1995)
Srecko Brlek, Pierre Castéran, Robert Strandh
On Addition Schemes. TAPSOFT, Vol.2 (1991)