Travelled to:1 × Germany
1 × USA
Collaborated with:D.Matzke ∅
Talks about:constraint (1) function (1) univers (1) program (1) semant (1) timet (1) model (1) logic (1) unif (1) term (1)
Person: Hans-Joachim Goltz
DBLP: Goltz:Hans=Joachim
Contributed to:
1999
1988Wrote 2 papers:
- PADL-1999-GoltzM #constraints #logic programming #using
- University Timetabling Using Constraint Logic Programming (HJG, DM), pp. 320–334.
- ALP-1988-Goltz #functional #modelling #semantics #unification
- Functional Data Term Models and Semantic Unification (HJG), pp. 158–167.