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.

Abstract Analysis of Universal Properties for tccp

Marco Comini, María-del-Mar Gallardo, Laura Titolo, Alicia Villanueva. Abstract Analysis of Universal Properties for tccp. In Moreno Falaschi, editor, Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Volume 9527 of Lecture Notes in Computer Science, pages 163-178, Springer, 2015. [doi]

Authors

Marco Comini

This author has not been identified. Look up 'Marco Comini' in Google

María-del-Mar Gallardo

This author has not been identified. Look up 'María-del-Mar Gallardo' in Google

Laura Titolo

This author has not been identified. Look up 'Laura Titolo' in Google

Alicia Villanueva

This author has not been identified. Look up 'Alicia Villanueva' in Google
runs on