Verification of Logic Programs with Delay Declarations

Authors
Publication date 1995
Host editors
  • M. Nivat
  • V.S. Alagar
Book title Proceedings of the Fourth International Conference on Algebraic Methodology and Software Technology (AMAST'95)
Series Lecture Notes in Computer Science, 936
Pages (from-to) 66-90
Publisher Berlin: Springer-Verlag
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Permalink to this page
Back