Hariolf Betz

Publication Activity (10 Years)

Years Active: 2005-2013
Publications (10 Years): 0

Top Topics

Digital Libraries

Automatic Analysis

Top Venues

ACM Trans. Comput. Log.

Publications

Hariolf Betz, Thom W. Frühwirth
Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction. ACM Trans. Comput. Log. 14 (1) (2013)
Hariolf Betz, Frank Raiser, Thom W. Frühwirth
A complete and terminating execution model for Constraint Handling Rules. Theory Pract. Log. Program. 10 (4-6) (2010)
Hariolf Betz, Frank Raiser, Thom W. Frühwirth
A Complete and Terminating Execution Model for Constraint Handling Rules CoRR (2010)
Hariolf Betz, Thom W. Frühwirth
Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction CoRR (2010)
Hariolf Betz, Thom W. Frühwirth
A Linear-Logic Semantics for Constraint Handling Rules. CP (2005)