Lupe
Suche

Autor: Benedikt Lowe

Support
John R. Steel is Professor of Mathematics at the University of California, Berkeley. Prior to that, he was a professor in the mathematics department at the University of California, Los Angeles. He is a recipient of the Carol Karp Prize of the Association for Symbolic Logic and of a Humboldt Prize. Steel is also a former Fellow at the Wissenschaftskolleg zu Berlin and the Sloan Foundation.




19 Ebooks von Benedikt Lowe

S.B. Cooper & Benedikt Löwe: New Computational Paradigms
This superb exposition of a complex subject examines new developments in the theory and practice of computation from a mathematical perspective, with topics ranging from classical computability to co …
PDF
Englisch
DRM
€149.79
Shier Ju & Benedikt Löwe: Cultures of Mathematics and Logic
This book gathers the proceedings of the conference ‚Cultures of Mathematics and Logic, ‚ held in Guangzhou, China. The event was the third in a series of interdisciplinary, international conferences …
PDF
Englisch
€96.29
Benedikt Löwe & Dag Normann: Models of Computation in Context
This book constitutes the refereed proceedings of the 7th Conference on Computability in Europe, Ci E 2011, held in Sofia, Bulgaria, in June/July 2011. The 22 revised papers presented together with …
PDF
Englisch
DRM
€71.39
Alexander S. Kechris & Benedikt (Universiteit van Amsterdam) Lowe: Wadge Degrees and Projective Ordinals
The proceedings of the Los Angeles Caltech-UCLA “Cabal Seminar“ were originally published in the 1970s and 1980s. Wadge Degrees and Projective Ordinals is the second of a series of four books …
PDF
DRM
€74.64
Benedikt Lowe & Boris Piwinger: Classical and New Paradigms of Computation and their Complexity Hierarchies
The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume attempts to approach complexity in a holistic way, investigating …
PDF
Englisch
DRM
€223.96
Arnold Beckmann & Ulrich Berger: Logical Approaches to Computational Barriers
Ci E 2006: Logical Approaches to Computational Barriers Swansea, Wales, June 30 – July 5, 2006 Computability in Europe (Ci E) is an informal network of European scientists working on computability …
PDF
Englisch
DRM
€111.96
Arnold Beckmann & Costas Dimitracopoulos: Logic and Theory of Algorithms
Ci E 2008: Logic and Theory of Algorithms Athens, Greece, June 15-20, 2008 Computability in Europe (Ci E) is an informal network of European scientists working on computability theory, including its …
PDF
Englisch
DRM
€112.06
Margaret Archibald & Vasco Brattka: Infinity in Logic and Computation
Edited in collaboration with Fo LLI, the Association of Logic, Language and Information, this volume constitutes a selection of papers presented at the Internatonal Conference on Infinity in Logic …
PDF
Englisch
DRM
€56.36
Barry S. Cooper & Anuj Dawar: How the World Computes
This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Conference on Computability in Europe, Ci E 2012, held in Cambridge, UK, in June 2012. The 53 revised …
PDF
Englisch
DRM
€55.88
Paola Bonizzoni & Vasco Brattka: Nature of Computation: Logic, Algorithms, Applications
This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, Ci E 2013, held in Milan, Italy, in July 2013. The 48 revised papers presented together with 1 invited …
PDF
Englisch
DRM
€56.35
Benedikt Lowe & Wolfgang Malzkorn: Foundations of the Formal Sciences II
"Foundations of the Formal Sciences" (Fot FS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the …
PDF
Englisch
DRM
€111.41