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

Franz BaaderFranz Baader

Franz 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},
}