10 citations · 30 across the 15 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.PL2012
Functional Logic Programming with Generalized Circular Coinduction
Ronald de Haan
We propose a method to adapt functional logic programming to deal with reasoning on coinductively interpreted programs as well as on inductively interpreted programs. In order to d…
cs.AI2012
The RegularGcc Matrix Constraint
Ronald de Haan, Nina Narodytska, Toby Walsh
We study propagation of the RegularGcc global constraint. This ensures that each row of a matrix of decision variables satisfies a Regular constraint, and each column satisfies a G…