BibTeX records: Miguel García-Díaz

• > Home > Persons > Miguel García-Díaz

@article{DBLP:journals/jflp/Garcia-DiazN04,
  author       = {Miguel Garc{\'{\i}}a{-}D{\'{\i}}az and
                  Susana Nieva},
  title        = {Formalizing Two Fixed Point Semantics for {HH(C)}},
  journal      = {J. Funct. Log. Program.},
  volume       = {2004},
  year         = {2004},
  url          = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2004/S04-01/A2004-04/JFLP-A2004-04.pdf},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jflp/Garcia-DiazN04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Garcia-DiazN04,
  author       = {Miguel Garc{\'{\i}}a{-}D{\'{\i}}az and
                  Susana Nieva},
  editor       = {Eugenio Moggi and
                  David Scott Warren},
  title        = {Providing declarative semantics for {HH} extended constraint logic
                  programs},
  booktitle    = {Proceedings of the 6th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, 24-26 August 2004,
                  Verona, Italy},
  pages        = {55--66},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1013963.1013973},
  doi          = {10.1145/1013963.1013973},
  timestamp    = {Mon, 16 Jul 2018 07:53:30 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/Garcia-DiazN04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jflp/Garcia-DiazN03,
  author       = {Miguel Garc{\'{\i}}a{-}D{\'{\i}}az and
                  Susana Nieva},
  title        = {Solving Constraints for an Instance of an Extended {CLP} Language
                  over a Domain Based on Real Numbers and Herbrand Terms},
  journal      = {J. Funct. Log. Program.},
  volume       = {2003},
  year         = {2003},
  url          = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2003/S03-01/JFLP-A03-02/rhjflp.pdf},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jflp/Garcia-DiazN03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flops/Garcia-DiazN02,
  author       = {Miguel Garc{\'{\i}}a{-}D{\'{\i}}az and
                  Susana Nieva},
  editor       = {Zhenjiang Hu and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Solving Mixed Quantified Constraints over a Domain Based on Real Numbers
                  and Herbrand Terms},
  booktitle    = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
                  2002, Aizu, Japan, September 15-17, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2441},
  pages        = {103--118},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45788-7\_6},
  doi          = {10.1007/3-540-45788-7\_6},
  timestamp    = {Sun, 02 Jun 2019 21:12:36 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/Garcia-DiazN02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}