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

@article{4416e41a19d543b99166c90241b4c68c,
title = "An OR-Compositional Semantics of Guarded Horn Clauses",
author = "Masaki Murakami",
year = "1993",
language = "English",
pages = "199--206",
journal = "Proc. of Joint Symposium on Parallel Processing 1993",

}

TY - JOUR

T1 - An OR-Compositional Semantics of Guarded Horn Clauses

AU - Murakami, Masaki

PY - 1993

Y1 - 1993

M3 - Article

SP - 199

EP - 206

JO - Proc. of Joint Symposium on Parallel Processing 1993

JF - Proc. of Joint Symposium on Parallel Processing 1993

ER -