Jean Goubault
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
1994–1994
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1994 | CADE | Proving with BDDs and Control of Information. | Jean Goubault |
| 1994 | ISMIS | BDDs and Automated Deduction. | Jean Goubault, Joachim Posegga |
| 1994 | LICS | Rigid E-Unifiability is DEXPTIME-Complete | Jean Goubault |
| 1994 | LPAR | Higher-Order Rigid E-Unification. | Jean Goubault |
| 1994 | STACS | The Complexity of Resource-Bounded First-Order Classical Logic. | Jean Goubault |
| 1994 | SAS | Generalized Boxings, Congruences and Partial Inlining. | Jean Goubault |