Right-linear finite path overlapping rewrite systems effectively preserve recognizability (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.9)

Right-linear finite path overlapping rewrite systems effectively preserve recognizability

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

Call No. (NDL): M159-B13
Bibliographic ID of National Diet Library: 000004024089

Material type: 図書

Author: [by]Toshinori Takai, Hiroyuki Seki, Yuichi Kaji

Publisher: Informatics Group, Information Technology Research Institute, National Institute of Advanced Industrial Science and Technology

Publication date: 2002.12

Material Format: Paper

Capacity, size, etc.: 38p ; 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: Right-linear finite path overlapping rewrite systems effectively preserve recognizability
Author/Editor: [by]Toshinori Takai, Hiroyuki Seki, Yuichi Kaji
Series Title: AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.9
Publication, Distribution, etc.: Amagasaki : Informatics Group, Information Technology Research Institute, National Institute of Advanced Industrial Science and Technology
Publication Date: 2002.12
Publication Date (W3CDTF): 2002
Extent: 38p
Size: 30cm
Alternative Title: 右線形有界重なり項書換え系とその構成的正則保存性ミギセンケイユウカイカサナリコウカキカエケイトソノコウセイテキセイソクホゾンセイ
Place of Publication (Country Code): JP
Text Language Code: eng
NDLC: M159
Target Audience: 一般
Holding library: 国立国会図書館
Call No.: M159-B13
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000004024089
http://id.ndl.go.jp/bib/000004024089
National Bibliography No. (JPNO): 20464859
Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
Bibliographic Record Category (NDL): 113