An Interval Lattice-Based Constraint Solving Framework for Lattices

Antonio J. Fernández, Patricia M. Hill. An Interval Lattice-Based Constraint Solving Framework for Lattices. In Aart Middeldorp, Taisuke Sato, editors, Functional and Logic Programming, 4th Fuji International Symposium, FLOPS 99, Tsukuba, Japan, November 11-13, 1999, Proceedings. Volume 1722 of Lecture Notes in Computer Science, pages 194-208, Springer, 1999.

Authors

Antonio J. Fernández

This author has not been identified. Look up 'Antonio J. Fernández' in Google

Patricia M. Hill

This author has not been identified. Look up 'Patricia M. Hill' in Google