Reasoning about Prolog Programs: from Modes through Types to Assertions

Open Access
Authors
Publication date 1994
Journal Formal Aspects of Computing
Volume | Issue number 6 | 6A
Pages (from-to) 743-765
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Article
Downloads
Permalink to this page
Back