文献
J-GLOBAL ID:200902024647818836
整理番号:87A0056586
自由単位半群を表わすChurch-Rosser Thueシステム
Church-Rosser Thue systems that present free monoids.
著者 (1件):
OTTO F
(Univ. Kaiserslautern, Kaiserslautern, DEU)
資料名:
SIAM Journal on Computing (Society for Industrial and Applied Mathematics)
(SIAM Journal on Computing (Society for Industrial and Applied Mathematics))
巻:
15
号:
3
ページ:
786-792
発行年:
1986年08月
JST資料番号:
D0944A
ISSN:
0097-5397
CODEN:
SMJCAT
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)