| 1999/08/31 |
D. Gounopoulos
|
Automatic subspace clustering of high dimensional data for data mining applications |
| 1999/06/04 |
S. Bozapalidis
|
Formal tree series - Additive program schemes |
| 1999/06/04 |
E. Kranakis
|
Dissections: Plane and Efficient |
| 1999/05/28 |
E. Galatoulas
|
Topos-theoretic models of Quantum Mechanics |
| 1999/05/26 |
E. Kranakis
|
Strategies for Assigning Hotlink in Web Pages |
| 1999/05/21 |
J. Hintikka
|
A Logic for Quantum Theory |
| 1999/05/20 |
I. Guessarian
|
Window-accumulated subsequence matching problem is linear |
| 1999/05/14 |
P. Karazeris
|
Topology without points: Logical character and applications |
| 1999/05/07 |
J. Manakos
|
The paradoxes of Russell and the Liar under the light of H. L. Skala's set theory |
| 1999/04/23 |
P. Spirakis
|
Sufficient conditions for reducing randomness in PCP systems |
| 1999/04/02 |
J. B. Paris
|
Common Sense and Uncertain Reasoning |
| 1999/03/26 |
J. Lambek
|
Type Grammars as pregroups |
| 1999/03/19 |
C. Dimitracopoulos
|
Introduction to Aristotle's logic, II |
| 1999/03/12 |
P. Stamatopoulos
|
Constraint satisfaction and applications to AI |
| 1999/03/05 |
C. Dimitracopoulos
|
Introduction to Aristotle's logic, I |
| 1999/01/22 |
P. Rondogiannis
|
Temporal language programming |
| 1999/01/15 |
C. Dimitracopoulos
|
The principle of induction for addition |
| 1998/11/27 |
J. R. Moschovakis
|
Realizability, models and applications |
| 1998/11/20 |
P. Kolaitis
|
On the boundedness problem for fragments of first-order logic |
| 1998/11/13 |
M. Vardi
|
Automated verification=Graphs, automata and logic |
| 1998/11/06 |
M. Rougemont
|
Interactive proofs on the reals |
| 1998/10/30 |
Y. N. Moschovakis
|
The notion of Algorithm |
| 1998/10/23 |
C. Nomikos
|
Path coloring in graphs |
| 1998/10/16 |
K. Georgatos
|
Non-monotonic logic, belief revision and the logic of scientific discovery |
| 1998/10/09 |
A. Troelstra
|
The Intuitionism of Brouwer and Heyting |
| 1998/10/02 |
E. Specker
|
Epistemic Logic and the Prognostic Paradox |