On procedural semantics of metalevel negation

  • S. Costantini
  • G. A. Lanzarone
Conference paper

DOI: 10.1007/3-540-55460-2_10

Volume 592 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Costantini S., Lanzarone G.A. (1992) On procedural semantics of metalevel negation. In: Voronkov A. (eds) Logic Programming. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence), vol 592. Springer, Berlin, Heidelberg

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1992

Authors and Affiliations

  • S. Costantini
    • 1
  • G. A. Lanzarone
    • 1
  1. 1.Dipartimento di Scienze dell' InformazioneUniversita' degli Studi di MilanoMilano