Logic, Computation, Hierarchies

De Gruyter (2014)
  Copy   BIBTEX

Abstract

Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,576

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The life and work of Victor L. Selivanov.Dieter Spreen - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 1-8.
Computing clebsch-gordan matrices with applications in elasticity theory.Svetlana Selivanova - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 273-296.
Levels of discontinuity, limit-computability, and jump operators.de Brecht Matthew - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 79-108.
Boolean algebras of regular quasi-aperiodic languages.Anton Konovalov - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 191-204.
Two theorems on the hausdorff measure of regular ω-languages.Ludwig Staiger - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 383-392.
Index.Dieter Spreen, Hannes Diener & Vasco Brattka - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 411-414.
Partial numberings and precompleteness.Dieter Spreen - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 325-340.

Analytics

Added to PP
n/a

Downloads
23 (#823,484)

6 months
5 (#901,642)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references