Decidability and closure properties of equational tree languages (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.4)

Decidability and closure properties of equational tree languages

(AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.4)

Publisher: Collaborative Research Team of Informatics, AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
Title: Decidability and closure properties of equational tree languages
Author/Editor: [by]Hitoshi Ohsaki, Toshinori Takai
Series Title: AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.4
Publication, Distribution, etc.: Amagasaki : Collaborative Research Team of Informatics, AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology
Publication Date: 2002.5
Publication Date (W3CDTF): 2002
Extent: 1v.
Size: 30cm
Alternative Title: 等式付木言語の決定可能性および閉包性についてトウシキツキキゲンゴノケッテイカノウセイオヨビヘイホウセイニツイテ
Place of Publication (Country Code): JP
Text Language Code: eng
NDLC: M159
Target Audience: 一般
Holding library: 国立国会図書館
Call No.: M159-B4
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003586428
http://id.ndl.go.jp/bib/000003586428
National Bibliography No. (JPNO): 20404600
Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
Bibliographic Record Category (NDL): 113