並行論理型言語の意味領域としてのガード付ストリーム:意味論的および構文的同値関係について

Research output: Contribution to journalArticle

Original languageJapanese
Pages (from-to)9-19
Number of pages11
Journalプログラミング-言語・基礎・実践研究報告
Volume93
Issue number97
Publication statusPublished - 1993

Cite this

@article{bfb66b2ff5c04aa58e84eedc6e886ad8,
title = "並行論理型言語の意味領域としてのガード付ストリーム:意味論的および構文的同値関係について",
author = "Masaki Murakami",
year = "1993",
language = "Japanese",
volume = "93",
pages = "9--19",
journal = "プログラミング-言語・基礎・実践研究報告",
number = "97",

}

TY - JOUR

T1 - 並行論理型言語の意味領域としてのガード付ストリーム:意味論的および構文的同値関係について

AU - Murakami, Masaki

PY - 1993

Y1 - 1993

M3 - Article

VL - 93

SP - 9

EP - 19

JO - プログラミング-言語・基礎・実践研究報告

JF - プログラミング-言語・基礎・実践研究報告

IS - 97

ER -