Login / Signup
Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations.
Isabelle Gnaedig
Hélène Kirchner
Published in:
Rewriting, Computation and Proof (2007)
Keyphrases
</>
semantic properties
high level
constraint satisfaction
constraint sets
convex constraints
constraint networks
anti monotone
information systems
case study
constraint satisfaction problems
desirable properties
global constraints
point algebra