External Links

Cite Key

Statistics

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

PDF

Tags

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.

Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics

Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández. Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics. In Dietmar Seipel, Michael Hanus, Armin Wolf, editors, Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers. Volume 5437 of Lecture Notes in Computer Science, pages 206-222, Springer, 2007. [doi]

Authors

Francisco Javier López-Fraguas

This author has not been identified. Look up 'Francisco Javier López-Fraguas' in Google

Juan Rodríguez-Hortalá

This author has not been identified. It may be one of the following persons: Look up 'Juan Rodríguez-Hortalá' in Google

Jaime Sánchez-Hernández

This author has not been identified. Look up 'Jaime Sánchez-Hernández' in Google
runs on