A decision procedure for alternation-free modal μ-calculi (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2008-10)

A decision procedure for alternation-free modal μ-calculi

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

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: A decision procedure for alternation-free modal μ-calculi
Title Transcription: A decision procedure for alternation - free modal mu-calculi
Author/Editor: [by] Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya
Series Title: Programming science technical report = 算譜科学研究速報 ; AIST-PS-2008-10
Author/Editor (Series Title): 産業技術総合研究所 (システム検証研究センター) 編
Publication, Distribution, etc.: Toyonaka : Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology
Publication Date: 2008.4
Publication Date (W3CDTF): 2008
Extent: 16 p.
Size: 30 cm
Alternative Title: 無交代様相μ計算の決定手続きムコウタイヨウソウミューケイサンノケッテイテツズキ
Place of Publication (Country Code): JP
Text Language Code: eng
NDLC: M159
Target Audience: 一般
Note (Bibliography): Includes bibliographical references
Holding library: 国立国会図書館
Call No.: M159-B70
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000009413155
http://id.ndl.go.jp/bib/000009413155
National Bibliography No. (JPNO): 21458098
Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
Bibliographic Record Category (NDL): 113