Modal logics for Coalgebras : a survey (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; AIST-PS-2004-3)

Modal logics for Coalgebras : a survey

(AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; AIST-PS-2004-3)

Author: [by] Laboratory for Verification and Semantics AIST Kansai, Amagasaki Site National Institute of Advanced Industrial Science and Technology (AIST)ほか

Publisher: Laboratory for Verification and Semantics AIST Kansai, Amagasaki Site, 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: Modal logics for Coalgebras : a survey
Author/Editor: [by] Laboratory for Verification and Semantics AIST Kansai, Amagasaki Site National Institute of Advanced Industrial Science and Technology (AIST)
[by] Ichiro Hasuo
Series Title: AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; AIST-PS-2004-3
Author/Editor (Series Title): 産業技術総合研究所関西センター尼崎事業所システム検証研究ラボ編
Publication, Distribution, etc.: Amagasaki : Laboratory for Verification and Semantics AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology
Publication Date: 2004.2
Publication Date (W3CDTF): 2004
Extent: 27 p.
Size: 30 cm
Alternative Title: 余代数と様相論理の総合報告ヨダイスウトヨウソウロンリノソウゴウホウコク
Place of Publication (Country Code): JP
Text Language Code: eng
NDLC: MA67
Target Audience: 一般
Holding library: 国立国会図書館
Call No.: MA67-B13
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000004357785
http://id.ndl.go.jp/bib/000004357785
National Bibliography No. (JPNO): 20550362
Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
Bibliographic Record Category (NDL): 113