Publication:2766780

zbMath0988.68034MaRDI QIDQ2766780

Patricia M. Hill, Antonio J. Fernández

Publication date: 22 July 2002

zbMATH Keywords

constraint propagation; constraint solving; indexicals; Constraint Logic Programming

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68N17: Logic programming

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)