Computational Logic Computational Logic Computational Logic Computational Logic
  • Home
  • News
    • News Archive
  • Research
    • Publications
    • Projects
    • Software
  • Teaching
  • Members
  • Events
    • Event Archive
Computational Logic Computational Logic Computational Logic Computational Logic
  • Home
  • News
    • News Archive
  • Research
    • Publications
    • Projects
    • Software
  • Teaching
  • Members
  • Events
    • Event Archive

Rewriting Techniques and Applications (RTA 2001)

Details
Written by: Gernot Baumgartner
Category: Edited Books
Read Time: 1 min

Proceedings of the 12th International Conference, Utrecht, The Netherlands
Aart Middeldorp (ed.)
Lecture Notes in Computer Science 2051, 2001

BibTeX

@proceedings{RTA01, editor = "Aart Middeldorp", title = "Proceedings of the 12th International Conference on Rewriting Techniques and Applications", series = "Lecture Notes in Computer Science", volume = 2051, publisher = "Springer-Verlag", year = 2001, doi = "10.1007/3-540-45127-7" }

Font Matter doi:10.1007/3-540-45127-7 Special Issue

© Springer

Page 5 of 5

  • 1
  • 2
  • 3
  • 4
  • 5
Quick Links
  • Department of Computer Science
  • LFU:Online Courses
  • OLAT
  • Webconference (BBB)
© 2026 Computational Logic
  • Privacy
  • Terms of Use
  • Policy
  • Home
  • News
    • News Archive
  • Research
    • Publications
    • Projects
    • Software
  • Teaching
  • Members
  • Events
    • Event Archive