Miguel García-Díaz

Publication Activity (10 Years)

Years Active: 2002-2004
Publications (10 Years): 0

Publications

Miguel García-Díaz, Susana Nieva
Formalizing Two Fixed Point Semantics for HH(C). J. Funct. Log. Program. 2004 (2004)
Miguel García-Díaz, Susana Nieva
Providing declarative semantics for HH extended constraint logic programs. PPDP (2004)
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. J. Funct. Log. Program. 2003 (2003)
Miguel García-Díaz, Susana Nieva
Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms. FLOPS (2002)