We stand with Ukraine  

Hariolf Betz

According to our database1, Hariolf Betz authored at least 5 papers between 2005 and 2014.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
A unified analytical foundation for constraint handling rules.
[BibTeX]
[DOI]
Hariolf Karl Michael Betz
PhD thesis, 2014

2013
Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction.
[BibTeX]
[DOI]
Hariolf Betz
,
Thom W. Frühwirth
ACM Trans. Comput. Log., 2013

2010
A complete and terminating execution model for Constraint Handling Rules.
[BibTeX]
[DOI]
Hariolf Betz
,
Frank Raiser
,
Thom W. Frühwirth
Theory Pract. Log. Program., 2010

2008
Constructing Rule-Based Solvers for Intentionally-Defined Constraints.
[BibTeX]
[DOI]
Ingi Sobhi
,
Slim Abdennadher
,
Hariolf Betz
Proceedings of the Constraint Handling Rules, 2008

2005
A Linear-Logic Semantics for Constraint Handling Rules.
[BibTeX]
[DOI]
Hariolf Betz
,
Thom W. Frühwirth
Proceedings of the Principles and Practice of Constraint Programming, 2005


  Loading...