MSc thesis of Antonios Achileos
The Complexity of the Validity Problem and Justification Logics
Supervisor: Efstathios Zachos
Defended: Feb. 13, 2009.mpla.math.uoa.gr |
|
You are here: Theses » MSc » Antonios Achileos |
Supervisor: Efstathios Zachos
Defended: Feb. 13, 2009.