Miguel García-Díaz

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003

2 EE 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 EE 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	EE	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	EE	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]