Higher-Order and Symbolic Computation

, Volume 21, Issue 1, pp 235–235

Totally correct logic program transformations via well-founded annotations

Erratum

DOI: 10.1007/s10990-008-9031-7

Cite this article as:
Pettorossi, A. & Proietti, M. Higher-Order Symb Comput (2008) 21: 235. doi:10.1007/s10990-008-9031-7
  • 56 Downloads
Download to read the full article text

Copyright information

© Springer Science+Business Media, LLC 2008

Authors and Affiliations

  1. 1.DISPUniversity of Roma Tor VergataRomaItaly
  2. 2.IASI-CNRRomaItaly