文献
J-GLOBAL ID:201802267148943568
整理番号:18A0935920
位置切断戦略を用いたプレフィックス制約付き線形単項書き換えのための認識可能なツリー言語の子孫【JST・京大機械翻訳】
Descendants of a recognizable tree language for prefix constrained linear monadic term rewriting with position cutting strategy
著者 (1件):
Vagvolgyi Sandor
(Department of Foundations of Computer Science, University of Szeged, Arpad ter 2, H-6720 Szeged, Hungary)
資料名:
Theoretical Computer Science
(Theoretical Computer Science)
巻:
732
ページ:
60-72
発行年:
2018年
JST資料番号:
T0022A
ISSN:
0304-3975
CODEN:
TCSDIQ
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)