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: Herold:Alexander
Contributed to:
1988
19871986Wrote 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.