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.

Reduced Certificates for Abstraction-Carrying Code

Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo. Reduced Certificates for Abstraction-Carrying Code. In Sandro Etalle, Miroslaw Truszczynski, editors, Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Volume 4079 of Lecture Notes in Computer Science, pages 163-178, Springer, 2006. [doi]

Authors

Elvira Albert

This author has not been identified. Look up 'Elvira Albert' in Google

Puri Arenas-Sánchez

This author has not been identified. Look up 'Puri Arenas-Sánchez' in Google

Germán Puebla

This author has not been identified. Look up 'Germán Puebla' in Google

Manuel V. Hermenegildo

This author has not been identified. It may be one of the following persons: Look up 'Manuel V. Hermenegildo' in Google
runs on