BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × USA
Collaborated with:
H.Bürckert M.Schmidt-Schauß M.Dincbas P.V.Hentenryck H.Simonis A.Aggoun
Talks about:
unif (2) constraint (1) algorithm (1) theori (1) system (1) prolog (1) combin (1) handl (1) equat (1) decid (1)

Person: Alexander Herold

DBLP DBLP: Herold:Alexander

Contributed to:

CADE 19881988
RTA 19871987
CADE 19861986

Wrote 3 papers:

CADE-1988-DincbasHSAH #constraints #prolog
The CHIP System: Constraint Handling In Prolog (MD, PVH, HS, AA, AH), pp. 774–775.
RTA-1987-BurckertHS #decidability #equation #on the #unification
On Equational Theories, Unification and Decidability (HJB, AH, MSS), pp. 204–215.
CADE-1986-Herold #algorithm #unification
Combination of Unification Algorithms (AH), pp. 450–469.

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.