Search results for: Alexander Leitsch
Journal of Automated Reasoning > 2019 > 63 > 1 > 95-126
Journal of Automated Reasoning > 2019 > 62 > 3 > 393-430
Theoretical Computer Science > 2018 > 706 > C > 83-116
Annals of Pure and Applied Logic > 2017 > 168 > 10 > 1783-1836
Applied Logic Series > Automated Model Building > 319-320
Applied Logic Series > Automated Model Building > 233-272
Lecture Notes in Computer Science > Automated Deduction in Classical and Non-Classical Logics > Invited Papers > 62-79
Lecture Notes in Computer Science > Automated Reasoning > Applications > 427-433
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 481-495
Lecture Notes in Computer Science > Algebraic and Proof-theoretic Aspects of Non-classical Logics > 201-230
Applied Logic Series > Automated Model Building > 43-150
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 1-20
Applied Logic Series > Automated Model Building > 19-42