Search results
Journal of Automated Reasoning > 2019 > 62 > 4 > 531-555
Progress in Biophysics and Molecular Biology > 2017 > 131 > C > 193-212
Journal of Philosophical Logic > 2018 > 47 > 5 > 733-783
Journal of Computer and System Sciences > 2017 > 88 > C > 271-289
Journal of Automated Reasoning > 2018 > 60 > 2 > 237-254
Journal of Parallel and Distributed Computing > 2017 > 100 > C > 157-171
Formal Methods in System Design > 2019 > 55 > 1 > 1-32
Journal of Applied Logic > 2016 > 18 > C > 19-41
Lecture Notes in Computer Science > Higher Order Logic Theorem Proving and Its Applications > 464-474
Lecture Notes in Computer Science > Perspectives of System Informatics > Program Synthesis, Transformation, and Semantics > 79-90
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 215-229