Travelled to:
1 × Portugal
1 × USA
Collaborated with:
∅ H.Betz T.W.Frühwirth
Talks about:
constraint (2) transform (2) system (2) handl (2) graph (2) rule (2) complet (1) termin (1) method (1) extend (1)
Person: Frank Raiser
DBLP: Raiser:Frank
Contributed to:
Wrote 3 papers:
- ICLP-J-2010-BetzRF #constraints #execution
- A complete and terminating execution model for Constraint Handling Rules (HB, FR, TWF), pp. 597–610.
- ICLP-2009-Raiser #constraints #graph transformation #using
- Analysing Graph Transformation Systems Using Extended Methods from Constraint Handling Rules (FR), pp. 540–541.
- ICLP-2007-Raiser #graph transformation
- Graph Transformation Systems in CHR (FR), pp. 240–254.