Contents of Report

[Data of Report]

Report Number:

TR0630

Date of Registration:

1991.05

English Title:

u;A New Logic for Process Programming and Verification by Constructive Logics

Japanese Title:

直観理論に基づく並列プロセス生成、検証のための体系u

English Author:

H.Kawada,Y.Sato,M.Fujita

Japanese:

川田　秀司,佐藤　洋祐,藤田　正幸

Name of Organization to which author belongs:

ICOT,ICOT,ICOT

PDF:

tr0630.pdf

[Contents]

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports