Castéran, Pierre.
Castéran, Pierre, 1952-
Castéran, P. (Pierre)
Pierre Castéran
VIAF ID: 62617888 ( Personal )
Permalink: http://viaf.org/viaf/62617888
Preferred Forms
- 100 1 _ ‡a Castéran, P. ‡q (Pierre)
-
-
- 100 1 _ ‡a Castéran, Pierre, ‡d 1952-....
- 100 1 _ ‡a Castéran, P. ‡q (Pierre)
- 100 1 _ ‡a Castéran, Pierre
-
-
-
-
- 100 0 _ ‡a Pierre Castéran
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Analyse statique en programmation équationnelle, fonctionnelle et logique | |
Analyses and Formal Proofs of Randomised Distributed Algorithms. | |
Analyses et preuves formelles d'algorithmes distribués probabilistes | |
Approche logique des grammaires pour les langues naturelles | |
Une étude formelle de la théorie des calculs locaux à l'aide de l'assistant de preuve Coq | |
Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions | |
JFLA 2001 : Journées francophones des langages applicatifs, 29 et 30 janvier 2001, Pontarlier, France | |
A logical approach to grammar for natural languages. | |
Modélisation numérique et simulation orientée objet d'une usine de retraitement nucléaire | |
Numerical modelling and object-oriented simulation of a nuclear reprocessing plant. | |
Structures de contrôle : définitions opérationnelles et algèbriques |