Rewriting Techniques and Applications ( RTA ) is an annual international academic conference on the topic or rewriting . It covers all aspects of rewriting, zoals termination , equational reasoning…
Tag: Logic
The ACM-IEEE Symposium on Logic in Computer Science ( LICS ) is an annual academic conference on the theory and practice of computer science in relatie to mathematical logic .…