Hariolf Betz

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

2 Ingi Sobhi, Slim Abdennadher, Hariolf Betz: Constructing Rule-Based Solvers for Intentionally-Defined Constraints. Constraint Handling Rules 2008: 70-84

2005

1 Hariolf Betz, Thom W. Frühwirth: A Linear-Logic Semantics for Constraint Handling Rules. CP 2005: 137-151

	2008
2		Ingi Sobhi, Slim Abdennadher, Hariolf Betz: Constructing Rule-Based Solvers for Intentionally-Defined Constraints. Constraint Handling Rules 2008: 70-84
	2005
1		Hariolf Betz, Thom W. Frühwirth: A Linear-Logic Semantics for Constraint Handling Rules. CP 2005: 137-151

Coauthor Index