An OR-Compositional Semantics of Guarded Horn Clauses

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)199-206
Number of pages8
JournalProc. of Joint Symposium on Parallel Processing 1993
Publication statusPublished - 1993

Cite this