- 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
On Simulation-Completeness of Unraveling for Conditional Term Rewriting Systems
Bibliographic Information
- Title
- On Simulation-Completeness of Unraveling for Conditional Term Rewriting Systems
- Author
- N.Nishida, M.Sakai, T.Sakabe
- Published
- 2004
- Resource Type
- journal article
Journal
-
- 電子情報通信学会技術研究報告 SS2004-18
-
電子情報通信学会技術研究報告 SS2004-18 25-30, 2004
- Tweet
Details 詳細情報について
-
- CRID
- 1010000781887661325
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN
