Time
|
Room A
Chair: M. Mytilinaios
|
Room B
Chair: A. Kakas
|
5:00-5:30 |
Antonio Di Nola, Costas Drossos
"Hyperfinite MV-Algebras" |
K. Sagonas
"Computing a larger class of stratified negation without an oracle" |
5:30-6:00 |
Alexandra Soskova
"Abstract Data Types - Computability and Effectiveness" |
V. Zakharov
"On the refinement of logic programs by means of anti-unification" |
6:00-6:30 |
Kyriakos Keremedis, Eleftherios Tachtsis
"On Loeb and weakly Loeb Hausdorff spaces" |
Angel Ditchev
"Characterization of the Structures Which Admit Effective Enumerations" |