An OR-Compositional Semantics of Guarded Horn Clauses

Masaki Murakami

Research output: Contribution to journal › Article

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

Cite this

An OR-Compositional Semantics of Guarded Horn Clauses. / Murakami, Masaki.

In: Proc. of Joint Symposium on Parallel Processing 1993, 1993, p. 199-206.

Research output: Contribution to journal › Article

Murakami, M 1993, 'An OR-Compositional Semantics of Guarded Horn Clauses', Proc. of Joint Symposium on Parallel Processing 1993, pp. 199-206.
Murakami M. An OR-Compositional Semantics of Guarded Horn Clauses. Proc. of Joint Symposium on Parallel Processing 1993. 1993;199-206.
Murakami, Masaki. / An OR-Compositional Semantics of Guarded Horn Clauses. In: Proc. of Joint Symposium on Parallel Processing 1993. 1993 ; pp. 199-206.
@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 -