2 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.LO2007
Theory of Finite or Infinite Trees Revisited
Khalil Djelloul, Thi-bich-hanh Dao, Thom Fruehwirth
We present in this paper a first-order axiomatization of an extended theory of finite or infinite trees, built on a signature containing an infinite set of function symbols and…
cs.PL2005★ 1 cited
Optimal Union-Find in Constraint Handling Rules
Tom Schrijvers, Thom Fruehwirth
Constraint Handling Rules (CHR) is a committed-choice rule-based language that was originally intended for writing constraint solvers. In this paper we show that it is also possibl…
cs.AI2004★ 2 cited
The Munich Rent Advisor: A Success for Logic Programming on the Internet
Thom Fruehwirth, Slim Abdennadher
Most cities in Germany regularly publish a booklet called the {\em Mietspiegel}. It basically contains a verbal description of an expert system. It allows the calculation of the es…