Search results for: Mark Bickford
Mathematical Logic Quarterly > 64 > 4-5 > 387 - 394
Annals of Mathematics and Artificial Intelligence > 2019 > 85 > 2-4 > 175-192
Science of Computer Programming > 2017 > 148 > C > 26-48
Lecture Notes in Computer Science > Component-Based Software Engineering > Communication and Composition > 140-155
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Contributions > 105-120
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 449-465
Lecture Notes in Computer Science > Hardware Specification, Verification and Synthesis: Mathematical Aspects > 307-332
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Logics > 30-53
Annals of Pure and Applied Logic > 2014 > 165 > 1 > 164-198