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.
Articles by others on the same topic
There are currently no matching articles.