A tree automata theory for unification modulo equational rewriting (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.6)

A tree automata theory for unification modulo equational rewriting

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

Call No. (NDL): MA41-B3
Bibliographic ID of National Diet Library: 000003588327

Material type: 図書

Author: [by]Hitoshi Ohsaki, Toshinori Takai

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

Publication date: 2002.7

Material Format: Paper

Capacity, size, etc.: 5 leaves ; 30cm

NDC: -

View All

Search by Bookstore

Bibliographic Record

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

Paper

Material Type: 図書
Title: A tree automata theory for unification modulo equational rewriting
Author/Editor: [by]Hitoshi Ohsaki, Toshinori Takai
Series Title: AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.6
Publication, Distribution, etc.: Amagasaki : Collaborative Research Team of Informatics, AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology
Publication Date: 2002.7
Publication Date (W3CDTF): 2002
Extent: 5 leaves
Size: 30cm
Alternative Title: ツリー・オートマン理論の等式付書換単一化問題への応用ツリーオートマンリロンノトウシキツキカキカエタンイツカモンダイエノオウヨウ
Place of Publication (Country Code): JP
Text Language Code: eng
NDLC: MA41
Target Audience: 一般
Holding library: 国立国会図書館
Call No.: MA41-B3
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003588327
http://id.ndl.go.jp/bib/000003588327
National Bibliography No. (JPNO): 20421457
Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
Bibliographic Record Category (NDL): 113