Term Rewriting and Applications [electronic resource] : 18th international conference, RTA 2007 Paris, France, June 26-28, 2007 : proceedings / Franz Baader (ed.).
Saved in:
Published: |
Berlin :
Springer-Verlag,
c2007.
|
---|---|
Online Access: | |
Corporate Authors: | |
Other Authors: | |
Series: | Lecture notes in computer science ;
4533 LNCS sublibrary. SL 1, Theoretical computer science and general issues |
Subjects: | |
Format: | Electronic Conference Proceeding eBook |