Travelled to:1 × Belgium
2 × France
Collaborated with:∅
Talks about:congruenc (1) partial (1) general (1) dexptim (1) control (1) complet (1) inform (1) unifi (1) rigid (1) prove (1)
Person: Jean Goubault
DBLP: Goubault:Jean
Contributed to:
1994
1994
1994Wrote 3 papers:
- CADE-1994-Goubault #proving
- Proving with BDDs and Control of Information (JG), pp. 499–513.
- LICS-1994-Goubault
- Rigid E-Unifiability is DEXPTIME-Complete (JG), pp. 498–506.
- SAS-1994-Goubault
- Generalized Boxings, Congruences and Partial Inlining (JG), pp. 147–161.