Rewriting techniques and applications : 20th international conference, RTA 2009 Brasília, Brazil, June 29-July 1, 2009 : proceedings / Ralf Treinen (ed.).

By: (20th : International Conference on Rewriting Techniques and Applications (20th : 2009 : Brasília, Distrito Federal, Brazil)
Contributor(s): Treinen, Ralf
Material type: TextTextSeries: SerienbezeichnungLecture notes in computer science: 5595.; LNCS sublibrary: Publisher: Berlin ; New York : Springer, ©2009Description: 1 online resource (xii, 390 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783642023484; 3642023487Other title: RTA 2009Subject(s): Rewriting systems (Computer science) -- Congresses | Computer programming -- Congresses | Algorithms -- Congresses | Informatique | Algorithms | Computer programming | Rewriting systems (Computer science) | Reduktionssystem | Brasília (2009)Genre/Form: Electronic books. | Conference papers and proceedings. Additional physical formats: Print version:: Rewriting techniques and applications.DDC classification: 005.131 LOC classification: QA267 | .I555 2009Other classification: 54.70 | 54.50 | 54.60 | SS 4800 | DAT 554f Online resources: Click here to access online
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library

Electronic Book@IST

EBook Available
Total holds: 0

Includes bibliographical references and index.

Print version record.

There are no comments for this item.

to post a comment.

Powered by Koha