benedikt löwe

Models of Computation in Context

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

New Computational Paradigms

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

Mathematical Theory and Computational Practice

This book constitutes the proceedings of the 5th Conference on Computability in Europe, CiE 2009,...

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...

Cultures of Mathematics and Logic

This book gathers the proceedings of the conference 'Cultures of Mathematics and Logic,' held in ...

Programs, Proofs, Processes

Logical Approaches to Computational Barriers

This book constitutes the refereed proceedings of the Second International Conference on Computab...

Logic and Theory of Algorithms

This book constitutes the refereed proceedings of the 4th International Conference on Computabili...

Logic and the Foundations of Game and Decision Theory - LOFT 8

Computation and Logic in the Real World

This book constitutes the refereed proceedings of the Third International Conference on Computabi...

The Nature of Computation: Logic, Algorithms, Applications

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

New Computational Paradigms