Contributed Talks: Tuesday, July 13

(speakers are in boldface letters)
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"
Back to Timetable