Costas Dimitracopoulos - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2022

Analytics vs. ElementsCostas Dimitracopoulos. lu, 16(1):237-252, 2022. [doi]

2020

End extensions of models of fragments of PACostas Dimitracopoulos, Vasileios S. Paschalis. AML, 59(7-8):817-833, 2020. [doi]

2016

End Extensions of Models of Weak Arithmetic TheoriesCostas Dimitracopoulos, Vasileios S. Paschalis. ndjfl, 57(2):181-193, 2016. [doi]

2010

Computability in Europe 2008Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe. AML, 49(2):119-121, 2010. [doi]

2008

On two problems concerning end extensionsCharalampos Cornaros, Costas Dimitracopoulos. AML, 47(1):1-14, 2008. [doi]

2007

On a Problem of J. ParisA. Sirokofskich, Costas Dimitracopoulos. logcom, 17(6):1099-1107, 2007. [doi]

2001

On end extensions of models of subsystems of peano arithmeticCostas Dimitracopoulos. TCS, 257(1-2):79-84, 2001. [doi]

2000

A note on end extensionsCharalampos Cornaros, Costas Dimitracopoulos. AML, 39(6):459-463, 2000. [doi]

1994

P ACharalampos Cornaros, Costas Dimitracopoulos. AML, 33(4):265-281, 1994. [doi]

1993

A Note on ExponentiationCharalampos Cornaros, Costas Dimitracopoulos. JSYML, 58(1):64-71, 1993.

1991

On A Problem Concerning Parameter Free InductionZofia Adamowicz, Costas Dimitracopoulos. mlq, 37(23-24):363-366, 1991. [doi]

1989

Overspill and fragments of arithmeticCostas Dimitracopoulos. AML, 28(3):173-179, 1989. [doi]

1988

A Note on a Theorem of H. FRIEDMANCostas Dimitracopoulos, Jeff B. Paris. mlq, 34(1):13-17, 1988. [doi]

On Parameter Free Induction SchemasR. Kaye, Jeff B. Paris, Costas Dimitracopoulos. JSYML, 53(4):1082-1097, 1988.

1986

The Pigeonhole Principle and Fragments of ArithmeticCostas Dimitracopoulos, Jeff B. Paris. mlq, 32(1-5):73-80, 1986. [doi]

1985

A Generalization of a Theorem of H. FriedmanCostas Dimitracopoulos. mlq, 31(14-18):221-225, 1985. [doi]

1983

A Note on the Undefinability of CutsJeff B. Paris, Costas Dimitracopoulos. JSYML, 48(3):564-569, 1983.

Sign in or sign up to see more results.

runs on WebDSL