Rewriting techniques and applications : 20th international conference, RTA 2009 : Brasilia, Brazil, June 29-July 1, 2009 : proceedings. : 5th international conference on rewriting, deduction, and programming (RDP 2009) : Jun 2009, Brasilia, Brazil. (Lecture Notes in Computer Science ; 5595)

Rewriting techniques and applications : 20th international conference, RTA 2009 : Brasilia, Brazil, June 29-July 1, 2009 : proceedings. : 5th international conference on rewriting, deduction, and programming (RDP 2009) : Jun 2009, Brasilia, Brazil.

(Lecture Notes in Computer Science ; 5595)

Call No. (NDL): M17-10-755
Bibliographic ID of National Diet Library: 000010548873

Material type: 図書

Author: Treinen, Ralf.ほか

Publisher: Springer

Publication date: c2009.

Material Format: Paper

Capacity, size, etc.: xii, 390 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers." (...) (RTA 2009) , (...) as part of the 5th International Conference on Rewriting, Deduction, and Programming (RDP 2009) together with (...) ...

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: 図書
ISBN: 9783642023477 (ISBN-13)
3642023479
ISSN (series): 0302-9743
Title: Rewriting techniques and applications : 20th international conference, RTA 2009 : Brasilia, Brazil, June 29-July 1, 2009 : proceedings. : 5th international conference on rewriting, deduction, and programming (RDP 2009) : Jun 2009, Brasilia, Brazil.
Series Title: Lecture Notes in Computer Science ; 5595
Title Heading: Lecture notes in computer science ; 5595.
LNCS sublibrary. SL 1 Theoretical computer science and general issues.
Author Heading: Treinen, Ralf.
International Conference on Rewriting Techniques and Applications (20th : 2009 : Brasília, Brazil)
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2009.
Publication Date (W3CDTF): 2009
Extent: xii, 390 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Rewriting systems (Computer science) -- Congresses.
Computer programming -- Congresses.
Algorithms -- Congresses.
Reduktionssystem -- Kongress -- Brasília <2009>
NDLC: M17
Note (General): Papers.
" (...) (RTA 2009) , (...) as part of the 5th International Conference on Rewriting, Deduction, and Programming (RDP 2009) together with (...) (TLCA 2009) , (...) (ISR 2009) , (...) (LSFA 2009) , (...) (RULE 2009) , (...) (WFLP 2009) , (...) (WRS 2009) , and the annual meeting of the IFIP Working Group 1.6 on term rewriting." -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-10-755
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000010548873
http://id.ndl.go.jp/bib/000010548873
OCLC No.: 401153850
https://www.worldcat.org/oclc/401153850
Bibliographic Record Category (NDL): 215