External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Extending the TOY System with the ECLiPSe Solver over Sets of Integers

Sonia Estévez Martín, Jesús Correas Fernández, Fernando Sáenz-Pérez. Extending the TOY System with the ECLiPSe Solver over Sets of Integers. In Tom Schrijvers, Peter Thiemann, editors, Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings. Volume 7294 of Lecture Notes in Computer Science, pages 120-135, Springer, 2012. [doi]

Authors

Sonia Estévez Martín

This author has not been identified. Look up 'Sonia Estévez Martín' in Google

Jesús Correas Fernández

This author has not been identified. Look up 'Jesús Correas Fernández' in Google

Fernando Sáenz-Pérez

This author has not been identified. Look up 'Fernando Sáenz-Pérez' in Google
runs on