Search results for: Dexter Kozen
Journal of Logical and Algebraic Methods in Programming > 2017 > 91 > C > 17-32
Lecture Notes in Computer Science > Foundation of Software Technology and Theoretical Computer Science > 1-11
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2006 > Invited Talks > 73-83
Lecture Notes in Computer Science > Computational Logic — CL 2000 > Automated Deduction: Putting Theory into Practice > 568-582
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 496-503
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 1999 > Security > 284-298
Lecture Notes in Computer Science > TAPSOFT '95: Theory and Practice of Software Development > 42-61
Lecture Notes in Computer Science > Logics of Programs > 167-176
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 14-33