Search dblp for Publications

export results for "toc:db/books/collections/BDS2014.bht:"

 download as .bib file

@incollection{DBLP:books/daglib/p/AgyingiHK14,
  author       = {Collins Amburo Agyingi and
                  Paulus Haihambo and
                  Hans{-}Peter A. K{\"{u}}nzi},
  editor       = {Vasco Brattka and
                  Hannes Diener and
                  Dieter Spreen},
  title        = {Tight extensions of {T}},
  booktitle    = {Logic, Computation, Hierarchies},
  series       = {Ontos Mathematical Logic},
  volume       = {4},
  pages        = {9--22},
  publisher    = {De Gruyter},
  year         = {2014},
  url          = {https://doi.org/10.1515/9781614518044.9},
  doi          = {10.1515/9781614518044.9},
  timestamp    = {Tue, 16 May 2017 14:01:34 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/AgyingiHK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Ambos-Spies14,
  author       = {Klaus Ambos{-}Spies},
  editor       = {Vasco Brattka and
                  Hannes Diener and
                  Dieter Spreen},
  title        = {On the strongly bounded turing degrees of simple sets},
  booktitle    = {Logic, Computation, Hierarchies},
  series       = {Ontos Mathematical Logic},
  volume       = {4},
  pages        = {23--78},
  publisher    = {De Gruyter},
  year         = {2014},
  url          = {https://doi.org/10.1515/9781614518044.23},
  doi          = {10.1515/9781614518044.23},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Ambos-Spies14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Brecht14,
  author       = {Matthew de Brecht},
  editor       = {Vasco Brattka and
                  Hannes Diener and
                  Dieter Spreen},
  title        = {Levels of discontinuity, limit-computability, and jump operators},
  booktitle    = {Logic, Computation, Hierarchies},
  series       = {Ontos Mathematical Logic},
  volume       = {4},
  pages        = {79--108},
  publisher    = {De Gruyter},
  year         = {2014},
  url          = {https://doi.org/10.1515/9781614518044.79},
  doi          = {10.1515/9781614518044.79},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Brecht14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/DuparcFR14,
  author       = {Jacques Duparc and
                  Olivier Finkel and
                  Jean{-}Pierre Ressayre},
  editor       = {Vasco Brattka and
                  Hannes Diener and
                  Dieter Spreen},
  title        = {The wadge hierarchy of Petri Nets {\(\omega\)}-languages},
  booktitle    = {Logic, Computation, Hierarchies},
  series       = {Ontos Mathematical Logic},
  volume       = {4},
  pages        = {109--138},
  publisher    = {De Gruyter},
  year         = {2014},
  url          = {https://doi.org/10.1515/9781614518044.109},
  doi          = {10.1515/9781614518044.109},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/DuparcFR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Fouche14,
  author       = {Willem L. Fouch{\'{e}}},
  editor       = {Vasco Brattka and
                  Hannes Diener and
                  Dieter Spreen},
  title        = {Diophantine properties of brownian motion: recursive aspects},
  booktitle    = {Logic, Computation, Hierarchies},
  series       = {Ontos Mathematical Logic},
  volume       = {4},
  pages        = {139--156},
  publisher    = {De Gruyter},
  year         = {2014},
  url          = {https://doi.org/10.1515/9781614518044.139},
  doi          = {10.1515/9781614518044.139},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Fouche14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Friedman14,
  author       = {Sy{-}David Friedman},
  editor       = {Vasco Brattka and
                  Hannes Diener and
                  Dieter Spreen},
  title        = {The completeness of isomorphism},
  booktitle    = {Logic, Computation, Hierarchies},
  series       = {Ontos Mathematical Logic},
  volume       = {4},
  pages        = {157--164},
  publisher    = {De Gruyter},
  year         = {2014},
  url          = {https://doi.org/10.1515/9781614518044.157},
  doi          = {10.1515/9781614518044.157},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Friedman14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/HertlingS14,
  author       = {Peter Hertling and
                  Victor L. Selivanov},
  editor       = {Vasco Brattka and
                  Hannes Diener and
                  Dieter Spreen},
  title        = {Complexity issues for Preorders on finite labeled forests},
  booktitle    = {Logic, Computation, Hierarchies},
  series       = {Ontos Mathematical Logic},
  volume       = {4},
  pages        = {165--190},
  publisher    = {De Gruyter},
  year         = {2014},
  url          = {https://doi.org/10.1515/9781614518044.165},
  doi          = {10.1515/9781614518044.165},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/HertlingS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Konovalov14,
  author       = {Anton Konovalov},
  editor       = {Vasco Brattka and
                  Hannes Diener and
                  Dieter Spreen},
  title        = {Boolean algebras of regular quasi-aperiodic languages},
  booktitle    = {Logic, Computation, Hierarchies},
  series       = {Ontos Mathematical Logic},
  volume       = {4},
  pages        = {191--204},
  publisher    = {De Gruyter},
  year         = {2014},
  url          = {https://doi.org/10.1515/9781614518044.191},
  doi          = {10.1515/9781614518044.191},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Konovalov14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/KopczynskiN14,
  author       = {Eryk Kopczynski and
                  Damian Niwinski},
  editor       = {Vasco Brattka and
                  Hannes Diener and
                  Dieter Spreen},
  title        = {A simple indeterminate infinite game},
  booktitle    = {Logic, Computation, Hierarchies},
  series       = {Ontos Mathematical Logic},
  volume       = {4},
  pages        = {205--212},
  publisher    = {De Gruyter},
  year         = {2014},
  url          = {https://doi.org/10.1515/9781614518044.205},
  doi          = {10.1515/9781614518044.205},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/KopczynskiN14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Odintsov14,
  author       = {Sergey Odintsov},
  editor       = {Vasco Brattka and
                  Hannes Diener and
                  Dieter Spreen},
  title        = {On the Equivalence of Paraconsistent and Explsive Versions of Nelson
                  Logic},
  booktitle    = {Logic, Computation, Hierarchies},
  series       = {Ontos Mathematical Logic},
  volume       = {4},
  pages        = {259--272},
  publisher    = {De Gruyter},
  year         = {2014},
  url          = {https://doi.org/10.1515/9781614518044.259},
  doi          = {10.1515/9781614518044.259},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Odintsov14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/RosS14,
  author       = {Luca Motto Ros and
                  Philipp Schlicht},
  editor       = {Vasco Brattka and
                  Hannes Diener and
                  Dieter Spreen},
  title        = {Lipschitz and uniformly continuous Reducibilities on Ultrametric polish
                  spaces},
  booktitle    = {Logic, Computation, Hierarchies},
  series       = {Ontos Mathematical Logic},
  volume       = {4},
  pages        = {213--258},
  publisher    = {De Gruyter},
  year         = {2014},
  url          = {https://doi.org/10.1515/9781614518044.213},
  doi          = {10.1515/9781614518044.213},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/RosS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Selivanova14,
  author       = {Svetlana Selivanova},
  editor       = {Vasco Brattka and
                  Hannes Diener and
                  Dieter Spreen},
  title        = {Computing Clebsch-Gordan Matrices with Applications in Elasticity
                  Theory},
  booktitle    = {Logic, Computation, Hierarchies},
  series       = {Ontos Mathematical Logic},
  volume       = {4},
  pages        = {273--296},
  publisher    = {De Gruyter},
  year         = {2014},
  url          = {https://doi.org/10.1515/9781614518044.273},
  doi          = {10.1515/9781614518044.273},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Selivanova14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Shilov14,
  author       = {Nikolay V. Shilov},
  editor       = {Vasco Brattka and
                  Hannes Diener and
                  Dieter Spreen},
  title        = {An Approach to Design of Automata-Based Axiomatization for Propositional
                  Program and Temporal Logics (by Example of Linear Temporal Logic)},
  booktitle    = {Logic, Computation, Hierarchies},
  series       = {Ontos Mathematical Logic},
  volume       = {4},
  pages        = {297--324},
  publisher    = {De Gruyter},
  year         = {2014},
  url          = {https://doi.org/10.1515/9781614518044.297},
  doi          = {10.1515/9781614518044.297},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/daglib/p/Shilov14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Spreen14,
  author       = {Dieter Spreen},
  editor       = {Vasco Brattka and
                  Hannes Diener and
                  Dieter Spreen},
  title        = {The life and work of Victor L. Selivanov},
  booktitle    = {Logic, Computation, Hierarchies},
  series       = {Ontos Mathematical Logic},
  volume       = {4},
  pages        = {1--8},
  publisher    = {De Gruyter},
  year         = {2014},
  url          = {https://doi.org/10.1515/9781614518044.1},
  doi          = {10.1515/9781614518044.1},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Spreen14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Spreen14a,
  author       = {Dieter Spreen},
  editor       = {Vasco Brattka and
                  Hannes Diener and
                  Dieter Spreen},
  title        = {Partial Numberings and Precompleteness},
  booktitle    = {Logic, Computation, Hierarchies},
  series       = {Ontos Mathematical Logic},
  volume       = {4},
  pages        = {325--340},
  publisher    = {De Gruyter},
  year         = {2014},
  url          = {https://doi.org/10.1515/9781614518044.325},
  doi          = {10.1515/9781614518044.325},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Spreen14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Spreen14b,
  author       = {Dieter Spreen},
  editor       = {Vasco Brattka and
                  Hannes Diener and
                  Dieter Spreen},
  title        = {An Isomorphism Theorem for Partial Numberings},
  booktitle    = {Logic, Computation, Hierarchies},
  series       = {Ontos Mathematical Logic},
  volume       = {4},
  pages        = {341--382},
  publisher    = {De Gruyter},
  year         = {2014},
  url          = {https://doi.org/10.1515/9781614518044.341},
  doi          = {10.1515/9781614518044.341},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Spreen14b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Staiger14,
  author       = {Ludwig Staiger},
  editor       = {Vasco Brattka and
                  Hannes Diener and
                  Dieter Spreen},
  title        = {Two Theorems on the Hausdorff Measure of Regular {\(\omega\)}-Languages},
  booktitle    = {Logic, Computation, Hierarchies},
  series       = {Ontos Mathematical Logic},
  volume       = {4},
  pages        = {383--392},
  publisher    = {De Gruyter},
  year         = {2014},
  url          = {https://doi.org/10.1515/9781614518044.383},
  doi          = {10.1515/9781614518044.383},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Staiger14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Zhukov14,
  author       = {Anton V. Zhukov},
  editor       = {Vasco Brattka and
                  Hannes Diener and
                  Dieter Spreen},
  title        = {Some Notes on the Universality of Three-Orders on Finite Labeled Posets},
  booktitle    = {Logic, Computation, Hierarchies},
  series       = {Ontos Mathematical Logic},
  volume       = {4},
  pages        = {393--410},
  publisher    = {De Gruyter},
  year         = {2014},
  url          = {https://doi.org/10.1515/9781614518044.393},
  doi          = {10.1515/9781614518044.393},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Zhukov14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/daglib/0036094,
  editor       = {Vasco Brattka and
                  Hannes Diener and
                  Dieter Spreen},
  title        = {Logic, Computation, Hierarchies},
  series       = {Ontos Mathematical Logic},
  volume       = {4},
  publisher    = {De Gruyter},
  year         = {2014},
  url          = {https://doi.org/10.1515/9781614518044},
  doi          = {10.1515/9781614518044},
  isbn         = {978-1-61451-804-4},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0036094.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.