UNIF: Related Links
The Rewriting Home Page
International Conference on Rewriting Techniques and Applications (RTA)
International Conference on Automated Deduction (CADE)
Calendar of Logic-Related Conferences and Workshop
[
UNIF main page
]
Ralf Treinen
January 12, 2011