Search results for: Boris Konev
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 85-99
Lecture Notes in Computer Science > Automated Deduction – CADE-19 > Session 8: System Descriptions > 274-278
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 214-228
Lecture Notes in Computer Science > Frontiers of Combining Systems > Section 2. Technical Papers > 163-177
Lecture Notes in Computer Science > Methods, Models and Tools for Fault Tolerance > Formal Reasoning about Fault Tolerant Systems and Protocols > 44-56
Artificial Intelligence > 2015 > 224 > Complete > 103-118
Artificial Intelligence > 2013 > 203 > Complete > 66-103
Journal of Applied Logic > 2013 > 11 > 1 > 30-51