Seminar
Speaker: | Evgenia Foustoucos (ΜΠΛΑ) |
---|---|
Title: | Datalog with greatest fixed points can express various temporal logics |
Date: | Παρασκευή, 24 Μάι 2002 |
Ώρα: | 18:00-19:00 |
mpla.math.uoa.gr |
|
Speaker: | Evgenia Foustoucos (ΜΠΛΑ) |
---|---|
Title: | Datalog with greatest fixed points can express various temporal logics |
Date: | Παρασκευή, 24 Μάι 2002 |
Ώρα: | 18:00-19:00 |
Comments