 | 2008 |
|---|
| 8 |       | Arnold Beckmann,
Costas Dimitracopoulos,
Benedikt Löwe:
Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings
Springer 2008 |
| 7 |  | Charalampos Cornaros,
Costas Dimitracopoulos:
On two problems concerning end extensions.
Arch. Math. Log. 47(1): 1-14 (2008) |
| 2007 |
|---|
| 6 | | A. Sirokofskich,
Costas Dimitracopoulos:
On a Problem of J. Paris.
J. Log. Comput. 17(6): 1099-1107 (2007) |
| 2001 |
|---|
| 5 | | Costas Dimitracopoulos:
On end extensions of models of subsystems of peano arithmetic.
Theor. Comput. Sci. 257(1-2): 79-84 (2001) |
| 2000 |
|---|
| 4 | | Charalampos Cornaros,
Costas Dimitracopoulos:
A note on end extensions.
Arch. Math. Log. 39(6): 459-463 (2000) |
| 1993 |
|---|
| 3 | | Charalampos Cornaros,
Costas Dimitracopoulos:
A Note on Exponentiation.
J. Symb. Log. 58(1): 64-71 (1993) |
| 1988 |
|---|
| 2 | | R. Kaye,
Jeff B. Paris,
Costas Dimitracopoulos:
On Parameter Free Induction Schemas.
J. Symb. Log. 53(4): 1082-1097 (1988) |
| 1983 |
|---|
| 1 | | Jeff B. Paris,
Costas Dimitracopoulos:
A Note on the Undefinability of Cuts.
J. Symb. Log. 48(3): 564-569 (1983) |
