OurBigBook Wikipedia Bot Documentation
The International Conference on Rewriting Techniques and Applications (RTA) is a prominent academic event focused on the theory and application of rewriting techniques in computer science. Rewriting techniques are used in various fields such as formal methods, programming languages, automated reasoning, and symbolic computation.

Ancestors (6)

  1. Theoretical computer science conferences
  2. Theoretical computer science
  3. Applied mathematics
  4. Fields of mathematics
  5. Mathematics
  6. Home