default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogic, Computation, Hierarchies 2014
- Vasco Brattka, Hannes Diener, Dieter Spreen:
Logic, Computation, Hierarchies. Ontos Mathematical Logic 4, De Gruyter 2014, ISBN 978-1-61451-804-4 - Dieter Spreen:
The life and work of Victor L. Selivanov. 1-8 - Collins Amburo Agyingi, Paulus Haihambo, Hans-Peter A. Künzi:
Tight extensions of T. 9-22 - Klaus Ambos-Spies:
On the strongly bounded turing degrees of simple sets. 23-78 - Matthew de Brecht:
Levels of discontinuity, limit-computability, and jump operators. 79-108 - Jacques Duparc, Olivier Finkel, Jean-Pierre Ressayre:
The wadge hierarchy of Petri Nets ω-languages. 109-138 - Willem L. Fouché:
Diophantine properties of brownian motion: recursive aspects. 139-156 - Sy-David Friedman:
The completeness of isomorphism. 157-164 - Peter Hertling, Victor L. Selivanov:
Complexity issues for Preorders on finite labeled forests. 165-190 - Anton Konovalov:
Boolean algebras of regular quasi-aperiodic languages. 191-204 - Eryk Kopczynski, Damian Niwinski:
A simple indeterminate infinite game. 205-212 - Luca Motto Ros, Philipp Schlicht:
Lipschitz and uniformly continuous Reducibilities on Ultrametric polish spaces. 213-258 - Sergey Odintsov:
On the Equivalence of Paraconsistent and Explsive Versions of Nelson Logic. 259-272 - Svetlana Selivanova:
Computing Clebsch-Gordan Matrices with Applications in Elasticity Theory. 273-296 - Nikolay V. Shilov:
An Approach to Design of Automata-Based Axiomatization for Propositional Program and Temporal Logics (by Example of Linear Temporal Logic). 297-324 - Dieter Spreen:
Partial Numberings and Precompleteness. 325-340 - Dieter Spreen:
An Isomorphism Theorem for Partial Numberings. 341-382 - Ludwig Staiger:
Two Theorems on the Hausdorff Measure of Regular ω-Languages. 383-392 - Anton V. Zhukov:
Some Notes on the Universality of Three-Orders on Finite Labeled Posets. 393-410
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-02 20:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
