Home / Authors / Voronkov, Andrei

Books by Voronkov, Andrei

All books by this author

2 books found
Programming Logics: Essays in Memory of Harald Ganzinger (Volume 7797)
Programming Logics: Essays in Memory of Harald Ganzinger (V…
By: Voronkov, Andrei
View Details
Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings (Lecture Notes in Computer Science, 5117)
Rewriting Techniques and Applications: 19th International C…
By: Voronkov, Andrei
View Details