- Integration of CiNii Books functions for fiscal year 2025 has completed
- Trial version of CiNii Research Knowledge Graph Search feature is available on CiNii Labs
- 【Updated on November 26, 2025】Regarding the recording of “Research Data” and “Evidence Data”
- Incorporated Jxiv preprints from JaLC and adding coverage from NDL Search
A Decision Procedure for the Alternation-free Two-way Modal mu-calculus
-
- 山本 光晴
- 千葉大学
Bibliographic Information
- Title
- A Decision Procedure for the Alternation-free Two-way Modal mu-calculus
- Author
- Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya
- Published
- 2005
- Resource Type
- journal article
Journal
-
- Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX),LNCS 3702
-
Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX),LNCS 3702 277-291, 2005
- Tweet
Details 詳細情報について
-
- CRID
- 1010000781868177024
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN
