R. Diaconescu
courses given
| Course | Semester | |
|---|---|---|
| Λ02Ο. | Algebraic specifications and their applications in computer science | 2002-2003, spring semester |
| 1 courses. | ||
seminars given
| date | title | |
|---|---|---|
| 2003/03/21 | From Birkhoff axiomatizability to interpolation: a categorical model-theoretic approach | |
| 1 seminar. | ||