Dexter Kozen profile picture

Dexter Kozen

Is this your author profile? Create an account to customize it!

Stand Alone

Dynamic Logic (Foundations of Computing)
Logics of Programs
Mathematics of program construction
Proceedings
Logic, Language, Information, and Computation 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14–17, 2025, Proceedings
Logic, Language, Information, and Computation