MSc thesis of Georgios Zikos
An introduction to dynamic logic
Supervisors: Constantinos Dimitracopoulos, Costas D. Koutras
Defended: Dec. 1, 2006.mpla.math.uoa.gr |
|
You are here: Theses » MSc » Georgios Zikos |
Supervisors: Constantinos Dimitracopoulos, Costas D. Koutras
Defended: Dec. 1, 2006.