| 1998/06/19 |
M. Fürer
|
Historical and positional strategies in infinite games |
| 1998/06/12 |
A. Παγουρτζής
|
Algorithms for graph coloring with applications in optical networks |
| 1998/06/05 |
M. Mytilinaios
|
Game-theoretic semantics |
| 1998/05/29 |
Κ. Δημητρακόπουλος
|
Subsystems of Peano arithmetic, III |
| 1998/05/22 |
J. B. Paris
|
Semantics for Fuzzy Logic supporting the Truth-Functionality Assumption |
| 1998/05/15 |
Κ. Δημητρακόπουλος
|
Subsystems of Peano arithmetic, II |
| 1998/05/08 |
Κ. Δημητρακόπουλος
|
Subsystems of Peano arithmetic, I |
| 1998/04/10 |
K. Drossos
|
Monoidal Logics |
| 1998/04/03 |
Y. N. Moschovakis
|
Semantics for fair indeterminacy in models of the typed λ-calculus |
| 1998/03/20 |
I. Karali
|
Inductive databases with object-oriented extensions |
| 1998/03/13 |
P. Karazeris
|
Introduction to Categorical Logic |
| 1998/01/23 |
Φ. Αφράτη
|
Query languages for deductive databases |
| 1998/01/16 |
Κ. Δημητρακόπουλος
|
Hilbert's 10th problem |
| 1997/12/12 |
K. Hatzikiriakou
|
The research program of “Reverse Mathematics” |
| 1997/12/05 |
T. Pheidas
|
The analog of Hilbert's 10th problem for the rational numbers, under the light of new developments in algebraic geometry and number theory |
| 1997/11/28 |
K. Skandalis
|
Computability in real numbers |
| 1997/11/21 |
H. Kotlarski
|
An explicit construction of a model of PA + ¬Con_PA |
| 1997/11/14 |
A. Tzouvaras
|
The symmetry axioms of C. Freiling in a general setting and some applications |
| 1997/11/07 |
|
Complexity of logic programs |
| 1997/10/31 |
Y. N. Moschovakis
|
Games in Analysis, Logic and Theoretical Computer Science, II |
| 1997/10/24 |
Y. N. Moschovakis
|
Games in Analysis, Logic and Theoretical Computer Science, I |