Miguel García-Díaz

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2003

2 Miguel García-Díaz, Susana Nieva: Solving Constraints for an Instance of an Extended CLP Language over a Domain Based on Real Numbers and Herbrand Terms. Journal of Functional and Logic Programming 2003: (2003)

2002

1 Miguel García-Díaz, Susana Nieva: Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms. FLOPS 2002: 103-118

	2003
2		Miguel García-Díaz, Susana Nieva: Solving Constraints for an Instance of an Extended CLP Language over a Domain Based on Real Numbers and Herbrand Terms. Journal of Functional and Logic Programming 2003: (2003)
	2002
1		Miguel García-Díaz, Susana Nieva: Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms. FLOPS 2002: 103-118

Coauthor Index

1 Susana Nieva [1] [2]