×

Found 43 Documents (Results 1–43)

The first order theories of the Medvedev and Muchnik lattices. (English) Zbl 1233.03039

Ambos-Spies, Klaus (ed.) et al., Mathematical theory and computational practice. 5th conference on computability in Europe, CiE 2009, Heidelberg, Germany, July 19–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03072-7/pbk). Lecture Notes in Computer Science 5635, 324-331 (2009).
MSC:  03C57 03D30
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference