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.
PhD thesis, 2014

2013
Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction.
ACM Trans. Comput. Log., 2013

2010
A complete and terminating execution model for Constraint Handling Rules.
Theory Pract. Log. Program., 2010

2008
Constructing Rule-Based Solvers for Intentionally-Defined Constraints.
Proceedings of the Constraint Handling Rules, 2008

2005
A Linear-Logic Semantics for Constraint Handling Rules.
Proceedings of the Principles and Practice of Constraint Programming, 2005


  Loading...