2019年8月
Conditions for Confluence of Innermost Terminating Term Rewriting Systems
Applicable Algebra in Engineering, Communication and Computing
ダウンロード
プレプリント・著者最終稿
回数 : 89
- 巻
- 30
- 号
- 349
- 開始ページ
- 349
- 終了ページ
- 360
- 記述言語
- 英語
- 掲載種別
- 研究論文（学術雑誌）
- DOI
- 10.1007/s00200-018-0377-8
- ID情報
-
- DOI : 10.1007/s00200-018-0377-8