Author:Boris Konev

Publications
IWIL-2015. 11th International Workshop on the Implementation of Logics Boris Konev, Stephan Schulz and Laurent Simon (editors) EPiC Series in Computing, volume 40
PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning Stephan Schulz, Leonardo De Moura and Boris Konev (editors) EPiC Series in Computing, volume 31
PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning Renate A. Schmidt, Stephan Schulz and Boris Konev (editors) EPiC Series in Computing, volume 9