Travelled to:
1 × Hungary
Collaborated with:
A.Nerode
Talks about:
constraint (1) program (1) system (1) hybrid (1) logic (1)
Person: Wolf Kohn
DBLP: Kohn:Wolf
Contributed to:
Wrote 1 papers:
- ICLP-1993-NerodeK #constraints #hybrid #logic programming
- Hybrid Systems and Constraint Logic Programming (AN, WK), pp. 18–24.