Travelled to:
1 × Belgium
1 × Japan
Collaborated with:
A.Bockmayr ∅
Talks about:
clp (3) interpret (1) techniqu (1) domain (1) plane (1) finit (1) meta (1) cut (1)
Person: Peter Barth
DBLP: Barth:Peter
Contributed to:
Wrote 2 papers:
- ICLP-1995-BarthB #finite
- Finite Domain and Cutting Plane Techniques in CLP(PB) (PB, AB), pp. 133–147.
- PLILP-1992-Barth
- CLP(PB), A Meta-Interpreter in CLP(R) (PB), pp. 491–492.