- 【Updated on May 12, 2025】 Integration of CiNii Dissertations and CiNii Books into CiNii Research
- Trial version of CiNii Research Automatic Translation feature is available on CiNii Labs
- Suspension and deletion of data provided by Nikkei BP
- Regarding the recording of “Research Data” and “Evidence Data”
On Upper Bounds on the Church-Rosser Theorem
-
- Fujita Ken-etsu
- 群馬大学
-
- Horatiu Cirstea
- editor
- LORIA, Université de Lorraine, France
-
- Santiago Escobar
- editor
- Universitat Politècnica de València, Spain
Journal
-
- Electronic Proceedings in Theoretical Computer Science
-
Electronic Proceedings in Theoretical Computer Science 235 2017-01-01
Open Publishing Association
- Tweet
Details 詳細情報について
-
- CRID
- 1360848664905787008
-
- ISSN
- 20752180
-
- Article Type
- journal article
-
- Data Source
-
- Crossref
- KAKEN
