Monodic tree kleene algebra : preliminary version (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2006-5)

Monodic tree kleene algebra : preliminary version

(Programming science technical report = 算譜科学研究速報 ; AIST-PS-2006-5)

Publisher: Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology

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: Monodic tree kleene algebra : preliminary version
Author/Editor: [by] Toshinori Takai, Hitoshi Furusawa
Series Title: Programming science technical report = 算譜科学研究速報 ; AIST-PS-2006-5
Author/Editor (Series Title): 産業技術総合研究所関西センター尼崎事業所システム検証研究センター編
Publication, Distribution, etc.: Amagasaki : Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology
Publication Date: 2006.5
Publication Date (W3CDTF): 2006
Extent: 20 p.
Size: 30 cm
Alternative Title: 単口木クリーニ代数タンコウモククリーニダイスウ
Place of Publication (Country Code): JP
Text Language Code: eng
NDLC: M159
Target Audience: 一般
Holding library: 国立国会図書館
Call No.: M159-B52
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000008280652
http://id.ndl.go.jp/bib/000008280652
National Bibliography No. (JPNO): 21092151
Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
Bibliographic Record Category (NDL): 113