Jean Goubault

发表

A Rule-based Algorithm for Rigid E-Unification

Jean Goubault, 1993 .

Generalized boxings, congruences and partial inlining

Jean Goubault, J. Goubault, 1994 .

Implementing Functional Languages with Fast Equality, Sets and Maps: an Exercise in Hash Consing

Jean Goubault, J. Goubault, 1992 .

Higher-Order Rigid E-Unification

Jean Goubault, 1994, ICLP 1994.

HimML: Standard ML with Fast Sets and Maps

Jean Goubault, 1994 .

Inf'erence d'unit'es physiques en ML

Michiel Korthals, Jean Goubault, 1994 .

Proving with BDDs and Control of Information

Jean Goubault, 1994 .

Syntax Independent Connections

Jean Goubault, J. Goubault, 1993 .

The Complexity of Resource-Bounded First-Order Classical Logic

Jean Goubault, J. Goubault, 1994 .

A Bdd-based Skolemization Procedure

Jean Goubault, 1994 .

A BDD-Based Simplification and Skolemization Procedure

Jean Goubault, J. Goubault, 1995 .