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

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

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

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

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

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

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

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

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

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

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