LATPub365

PublikationenPublications

• Nach AutorBy Author
  • Franz BaaderFranz Baader
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

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