An edition of Rewriting techniques and applications
(2002)
Rewriting techniques and applications
13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings
by International Conference on Rewriting Te...
- 1 Want to read
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Congresses, Computer programming, Rewriting systems (Computer science), Algorithms, Programmation, Algebraische logica, Bewijstheorie, Reecriture, Systemes de (Informatique), Congres, Reduktionssystem, Algorithmes, Specificatie, Programmation (Informatique), Reecriture, Systemes de (informatique), Ordinateurs, Computermethoden| Edition | Availability |
|---|---|
1
Rewriting techniques and applications: 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings
2002, Springer
in English
3540439161 9783540439165
|
aaaa
|
2
Rewriting techniques and applications: 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings
2002, Springer
in English
3540439161 9783540439165
|
zzzz
|
|
3
Rewriting techniques and applications: 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings
2002, Springer
in English
3540439161 9783540439165
|
zzzz
|
Book Details
Edition Notes
Includes bibliographical references and index.
Also available via the World Wide Web.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
| December 18, 2018 | Edited by ImportBot | import existing book |
| January 22, 2010 | Edited by WorkBot | add more information to works |
| December 11, 2009 | Created by WorkBot | add works page |