Rewriting techniques and applications : ... international conference, RTA- ... : proceedings

Imprint: Berlin ; New York : Springer-Verlag, c1985-c2004.
Physical description: v. : ill. ; 24 cm.
Series: Lecture notes in computer science.

Online

Available online

Report a connection problem

At the library

SAL3 (off-campus storage)

Stacks Request

Library has: 1st(1985)-10th(1999), 12th(2001)-15th(2004)

Items in Stacks
Call number	Note	Status
QA267 .I555 1ST 1985		Available
QA267 .I555 2ND 1987		Available
QA267 .I555 3RD 1989		Available
QA267 .I555 4TH 1991		Available
QA267 .I555 5TH 1993		Available
QA267 .I555 6TH 1995		Available
QA267 .I555 7TH 1996		Available
QA267 .I555 8TH 1997		Available
QA267 .I555 9TH 1998		Available
QA267 .I555 10TH 1999		Available
QA267 .I555 12TH 2001		Available
QA267 .I555 13TH 2002		Available
QA267 .I555 14TH 2003		Available
QA267 .I555 15TH 2004		Available

Description

Creators/Contributors

Meeting: International Conference on Rewriting Techniques and Applications.

Subjects

Subjects: Rewriting systems (Computer science) > Congresses.; Computer programming > Congresses.; Algorithms > Congresses.; Algebraïsche logica.; Bewijstheorie.; Specificatie.; Computermethoden.

Bibliographic information

Beginning date: 1985
Ending date: 2004
Title variation: RTA; Issue for 1987 has subtitle: Proceedings; Issues for 1989-2004 have subtitle: International Conference, RTA ... proceedings
Vol/date range: 1st (May 20-22, 1985)-15th (June 3-5, 2004).
Series: Lecture notes in computer science
Continued by: International Conference on Rewriting Techniques and Applications. Term rewriting and applications

Browse related items

Start at call number:

Librarian view | Catkey: 1155836