Jean Goubault

Publication Activity (10 Years)

Years Active: 1993-1995
Publications (10 Years): 0

Publications

Jean Goubault
A BDD-Based Simplification and Skolemization Procedure. Log. J. IGPL 3 (6) (1995)
Jean Goubault
Rigid E-Unifiability is DEXPTIME-Complete LICS (1994)
Jean Goubault, Joachim Posegga
BDDs and Automated Deduction. ISMIS (1994)
Jean Goubault
Higher-Order Rigid E-Unification. LPAR (1994)
Jean Goubault
Proving with BDDs and Control of Information. CADE (1994)
Jean Goubault
The Complexity of Resource-Bounded First-Order Classical Logic. STACS (1994)
Jean Goubault
Generalized Boxings, Congruences and Partial Inlining. SAS (1994)
Jean Goubault
A Rule-based Algorithm for Rigid E-Unification. Kurt Gödel Colloquium (1993)