×

Found 28 Documents (Results 1–28)

Cohesive powers of linear orders. (English) Zbl 1434.03095

Manea, Florin (ed.) et al., Computing with foresight and industry. 15th conference on computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11558, 168-180 (2019).
MSC:  03C57
PDFBibTeX XMLCite
Full Text: DOI arXiv

Models of computation in context. 7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 – July 2, 2011. Proceedings. (English) Zbl 1221.68025

Lecture Notes in Computer Science 6735. Berlin: Springer (ISBN 978-3-642-21874-3/pbk). xiii, 319 p. (2011).
MSC:  68-06 68Qxx 00B25
PDFBibTeX XMLCite
Full Text: DOI

\(\omega \)-degree spectra. (English) Zbl 1142.03355

Beckmann, Arnold (ed.) et al., Logic and theory of algorithms. 4th conference on computability in Europe, CiE 2008, Athens, Greece, June 15–20, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69405-2/pbk). Lecture Notes in Computer Science 5028, 544-553 (2008).
MSC:  03D30
PDFBibTeX XMLCite
Full Text: DOI

A jump inversion theorem for the degree spectra. (English) Zbl 1142.03354

Cooper, S. Barry (ed.) et al., Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73000-2/pbk). Lecture Notes in Computer Science 4497, 716-726 (2007).
MSC:  03D30
PDFBibTeX XMLCite
Full Text: DOI

Relativized degree spectra. (English) Zbl 1142.03353

Beckmann, Arnold (ed.) et al., Logical approaches to computational barriers. Second conference on computability in Europe, CiE 2006, Swansea, UK, June 30–July 5, 2006. Proceedings. Berlin: Springer (ISBN 3-540-35466-2/pbk). Lecture Notes in Computer Science 3988, 546-555 (2006).
MSC:  03D30
PDFBibTeX XMLCite
Full Text: DOI

Minimal pairs and quasi-minimal degrees for the joint spectra of structures. (English) Zbl 1115.03053

Cooper, S. Barry (ed.) et al., New computational paradigms. First conference on computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8–12, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26179-6/pbk). Lecture Notes in Computer Science 3526, 451-460 (2005).
MSC:  03D45 03D30 03D75
PDFBibTeX XMLCite
Full Text: DOI

Effective enumerations of abstract structures. (English) Zbl 0779.03012

Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 361-372 (1990).
MSC:  03D75
PDFBibTeX XMLCite

Filter Results by …

Database

all top 5

Year of Publication

all top 3

Main Field