Seminar
Speaker: | Evgenia Foustoucos (MPLA) |
---|---|
Title: | Datalog with greatest fixed points can express various temporal logics |
Date: | Friday, 24 May 2002 |
Time: | 18:00-19:00 |
You are here: Seminars » 2001-2002 » E. Foustoucos, 2002-05-24 |
Speaker: | Evgenia Foustoucos (MPLA) |
---|---|
Title: | Datalog with greatest fixed points can express various temporal logics |
Date: | Friday, 24 May 2002 |
Time: | 18:00-19:00 |
Comments