18th International Conference on Rewriting Techniques and Applications {(RTA 2007)}

F. BaaderF. Baader

F. Baader
18th International Conference on Rewriting Techniques and Applications {(RTA 2007)}
Volume 4533 of Lecture Notes in Computer Science. Springer, 2007

Details
Bibtex

KurzfassungAbstract
This volume contains the papers presented at the
18th International Conference on Rewriting Techniques and Applications (RTA'07), which was held on June 26--28, 2007, on the Paris campus of the Conservatoire National
des Arts et Metiers (CNAM) in Paris, France.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@book{ BaaderRTA07,
  editor = {F. {Baader}},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  title = {18th International Conference on Rewriting Techniques and Applications {(RTA 2007)}},
  volume = {4533},
  year = {2007},
}