2000/07/20 |
Α. Κεχρής
|
The complexity of the isometric classification of Polish metric spaces and the structure of their isometry groups |
2000/07/12 |
V. Vazirani
|
The Primal-Dual Schema for Approximation Algorithms Where Does it Stand, and Where Can it Go? |
2000/07/11 |
J. Krivine
|
The Curry-Howard correspondence in set theory |
2000/07/06 |
P. Kolaitis
|
On the Complexity of Counting Problems in Equational Matching and Unification |
2000/06/16 |
A. Dawar
|
Formulas, Games and Circuits |
2000/06/09 |
T. Pheidas
|
Lang's conjecture in Arithmetic Algebraic Geometry and its solution by model-theoretical means |
2000/06/02 |
S. Baratella
|
Quantifier elimination for first order theories |
2000/05/19 |
Κ. Δ. Κούτρας
|
Modal Logics of Knowledge and Multiple Intelligent Agents |
2000/04/14 |
Τ. Δημήτριου
|
Algorithms for random generation and counting |
2000/04/07 |
S. Weinstein
|
The Role of Decidability in First Order Separations over Classes of Finite Structures |
2000/03/31 |
Κ. Δημητρακόπουλος
|
End extensions of models, II |
2000/03/17 |
P. Peppas
|
Belief Revision, II |
2000/03/10 |
Κ. Δημητρακόπουλος
|
End extensions of models, I |
2000/03/03 |
P. Peppas
|
Belief Revision, I |
2000/02/25 |
Y. N. Moschovakis
|
Meanings, algorithms and games |
2000/02/18 |
J. R. Moschovakis
|
The Gödel-Gentzen Negative Translation and Classical Function Realizability |
2000/02/11 |
Ε. Ζάχος
|
S-terms revisited |
2000/01/20 |
J. Benthem
|
Modal Foundations for Predicate Logic |
1999/12/17 |
E. Foustoucos
|
Persistency numbers of Datalog programs |
1999/12/10 |
S. Weinstein
|
A guide to Finite Model Theory |
1999/12/03 |
P. Karazeris
|
Scott continuous local operators on complete Heyting algebras |
1999/11/26 |
J. Väänänen
|
Generalized quantifiers and finite model theory |
1999/11/26 |
J. Kennedy
|
On embedding models of arithmetic into reduced products |
1999/11/19 |
Κ. Δημητρακόπουλος
|
Introduction to Stoic Logic - The “indemonstrable moods” of the Stoics |
1999/11/12 |
Ι. Εμίρης
|
Solving polynomial systems |
1999/11/05 |
I. Soskov
|
Degrees of structures |
1999/10/22 |
W. Charatonik
|
Path-based versus set-based analysis of logic programs |
1999/10/15 |
Y. N. Moschovakis
|
Three episodes from the history of set theory |
1999/10/08 |
P. Kolaitis
|
The Ordered Conjecture: A status report |