Journal of Functional and Logic Programming, Volume 2003
Special Issue on the Sixth International Symposium on Functional and Logic Programming
, Susana Nieva
: Solving Constraints for an Instance of an Extended CLP Language over a Domain Based on Real Numbers and Herbrand Terms.
, Hideo Bannai
: The Extension of ML with Hypothetical Views for Discovery Science: Formalization and Implementation.