Parigot, Michel, 1956-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
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
-
100 1 _ ‡a Parigot, 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-
-
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 |
|
