Higher-Order and Symbolic Computation

, Volume 21, Issue 1–2, pp 235–235 | Cite as

Totally correct logic program transformations via well-founded annotations

Erratum
  • 72 Downloads

Copyright information

© Springer Science+Business Media, LLC 2008

Authors and Affiliations

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

Personalised recommendations