抽象高階書換え系によるプロセス計算系の定式化に関する研究

Notes on use

Search by Bookstore

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
Title: 抽象高階書換え系によるプロセス計算系の定式化に関する研究
Title Transcription: チュウショウコウカイカキカエケイニヨルプロセスケイサンケイノジョウシキカニカンスルケンキュウ
Author/Editor: 鈴木, 大郎, 会津大学
Author Heading: 鈴木, 大郎スズキ, タロウ
Publication Date: 2001-2002
Publication Date (W3CDTF): 2001
Extent: 冊
Additional Title: 研究種目基盤研究(C)
Subject Heading: プロセス計算系プロセスケイサンケイ
抽象高階項書換え系チユウシヨウコウカイコウカキカエケイ
π-計算系パイ-ケイサンケイ
プロセス書換え系プロセスカキカエケイ
関数論理型言語カンスウロンリガタゲンゴ
高階ナロ-イングコウカイナロ-イング
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 13680388
Holding library: 国立国会図書館
Call No.: Y151-H13680388
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007091572
http://id.ndl.go.jp/bib/000007091572
Bibliographic Record Category (NDL): 214