BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Goubault:Jean

Contributed to:

CADE 19941994
LICS 19941994
SAS 19941994

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.