Parigot, Michel, 1956-....
Parigot, Michel
VIAF ID: 72274560 (Personal)
Permalink: http://viaf.org/viaf/72274560
Preferred Forms
-
200 _ | ‡a Parigot ‡b Michel
-
-
-
-
100 1 _ ‡a Parigot, Michel
-
100 1 _ ‡a Parigot, Michel ‡d 1956-
-
100 1 _ ‡a Parigot, Michel ‡d 1956-
-
-
-
100 1 _ ‡a Parigot, Michel, ‡d 1956-
-
100 1 _ ‡a Parigot, Michel, ‡d 1956-....
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Compte rendu de la Table ronde de logique, octobre 1983, Paris |
![]() |
Démonstration automatique en logique classique : complexité et méthodes |
![]() |
Logic for programming and automated reasoning : 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
A Logical approach of Petri net languages |
![]() |
LPAR 2000 |
![]() |
Optimized programs from (non-constructive) proofs by the light (monotone) Dialectica interpretation. |
![]() |
Séminaire général de logique, 1983-1984 |
![]() ![]() |