che-chandler.de

Infinity in Logic and Computation

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this volu...

Models of Computation in Context

This book constitutes the refereed proceedings of the 7th Conference on Computability in Europe, ...

Logical Approaches to Computational Barriers

CiE 2006: Logical Approaches to Computational Barriers Swansea, Wales, June 30 - July 5, 2006 Com...

New Computational Paradigms

In recent years, classical computability has expanded beyond its original scope to address iss...

Classical and New Paradigms of Computation and their Complexity Hierarchies

The notion of complexity is an important contribution of logic to theoretical computer science an...

New Computational Paradigms

Logic and Theory of Algorithms

CiE 2008: Logic and Theory of Algorithms Athens, Greece, June 15-20, 2008 Computability in Europe...

Nature of Computation: Logic, Algorithms, Applications

This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, ...

Foundations of the Formal Sciences II

"e;Foundations of the Formal Sciences"e; (FotFS) is a series of interdisciplinary confere...

Cultures of Mathematics and Logic

This bookgathers the proceedings of the conference "e;Cultures of Mathematics andLogic,"e...

Ordinal Definability and Recursion Theory: Volume 3

The proceedings of the Los Angeles Caltech-UCLA 'Cabal Seminar' were originally published in the ...

Wadge Degrees and Projective Ordinals

The proceedings of the Los Angeles Caltech-UCLA ''Cabal Seminar'' were originally published in th...