Layered transducing term rewriting system and its recognizability preserving property (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.10)

Layered transducing term rewriting system and its recognizability preserving property

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

Call No. (NDL): M159-B12
Bibliographic ID of National Diet Library: 000004024119

Material type: 図書

Author: [by]Toshinori Takai[et al.]

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.: 22p ; 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: Layered transducing term rewriting system and its recognizability preserving property
Author/Editor: [by]Toshinori Takai[et al.]
Series Title: AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.10
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: 22p
Size: 30cm
Alternative Title: 多層変換項書換え系とその正則保存性タソウヘンカンコウカキカエケイトソノセイソクホゾンセイ
Place of Publication (Country Code): JP
Text Language Code: eng
NDLC: M159
Target Audience: 一般
Holding library: 国立国会図書館
Call No.: M159-B12
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000004024119
http://id.ndl.go.jp/bib/000004024119
National Bibliography No. (JPNO): 20464856
Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
Bibliographic Record Category (NDL): 113