π計算のfairなtestingによる等価性判別(共著)

Research output: Contribution to journalArticle

Original languageJapanese
Pages (from-to)15-15
Number of pages1
Journalプログラミング研究報告
Volume97
Issue number32
Publication statusPublished - 1997

Cite this

π計算のfairなtestingによる等価性判別(共著). / Murakami, Masaki.

In: プログラミング研究報告, Vol. 97, No. 32, 1997, p. 15-15.

Research output: Contribution to journalArticle

@article{4903533dd40c4127ba739133e86a9355,
title = "π計算のfairなtestingによる等価性判別(共著)",
author = "Masaki Murakami",
year = "1997",
language = "Japanese",
volume = "97",
pages = "15--15",
journal = "プログラミング研究報告",
number = "32",

}

TY - JOUR

T1 - π計算のfairなtestingによる等価性判別(共著)

AU - Murakami, Masaki

PY - 1997

Y1 - 1997

M3 - Article

VL - 97

SP - 15

EP - 15

JO - プログラミング研究報告

JF - プログラミング研究報告

IS - 32

ER -