Seminar
Speaker: | W. Charatonik (Max Planck Institut, Saarbrücken) |
---|---|
Title: | Path-based versus set-based analysis of logic programs |
Date: | Παρασκευή, 22 Οκτ 1999 |
Ώρα: | 18:00-19:00 |
mpla.math.uoa.gr |
|
Speaker: | W. Charatonik (Max Planck Institut, Saarbrücken) |
---|---|
Title: | Path-based versus set-based analysis of logic programs |
Date: | Παρασκευή, 22 Οκτ 1999 |
Ώρα: | 18:00-19:00 |
Comments