A Delaratine Semantics of Flat Guarded Horn Clauses for Programs with Perpetual Processes

Research output: Contribution to journalArticle

Original languageEnglish
JournalTheoretical Computer Science
Volume75
Publication statusPublished - 1990

Cite this

@article{8e5e4ccbab39448eb8865bdf35796ffd,
title = "A Delaratine Semantics of Flat Guarded Horn Clauses for Programs with Perpetual Processes",
author = "Masaki Murakami",
year = "1990",
language = "English",
volume = "75",
journal = "Theoretical Computer Science",

}

TY - JOUR

T1 - A Delaratine Semantics of Flat Guarded Horn Clauses for Programs with Perpetual Processes

AU - Murakami, Masaki

PY - 1990

Y1 - 1990

M3 - Article

VL - 75

JO - Theoretical Computer Science

JF - Theoretical Computer Science

ER -