Universität der Bundeswehr München: AtheneForschung
User: Guest
 
Login
de
en
Advanced search
Home / All Content
Publications (University Bibliography)
Projects
Electronic Accepted Theses
Open Access Publications
Fakultäten (univ.)
(1152)
Fakultät für Bauingenieurwesen und Umweltwissenschaften
(194)
Fakultät für Elektrotechnik und Informationstechnik
(66)
Fakultät für Humanwissenschaften
(158)
Fakultät für Informatik
(278)
INF 1 - Institut für Theoretische Informatik, Mathematik und Operations Research
(24)
INF 2 - Institut für Softwaretechnologie
(70)
INF 3 - Institut für Technische Informatik
(10)
INF 4 - Institut für Angewandte Informatik
(13)
INF 5 - Institut für Anwendungssicherheit
(13)
INF 6 - Institut für Systemsicherheit
(33)
INF 7 - Institut für Datensicherheit
(50)
INF 8 - Institut für Schutz und Zuverlässigkeit
(8)
Technische Berichte
(61)
Fakultät für Luft- und Raumfahrttechnik
(320)
Fakultät für Staats- und Sozialwissenschaften
(80)
Fakultät für Wirtschafts- und Organisationswissenschaften
(64)
Fakultäten (HAW)
(112)
An-Institute
Forschungszentren
(271)
Weitere Einrichtungen
(94)
Kongresse
(315)
Preprints
(33)
inside.unibw
(34)
Patents
Research Data
Research Profiles
Videos for the UniBw M Website
Digitized Media
Working Group E-Learning
University Library Documents
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
Fakultät für Informatik
INF 1 - Institut für Theoretische Informatik, Mathematik und Operations Research
BGH15
If you experience problems opening the document, please try this link.
Authors:
Brattka, Vasco; Gherardi, Guido; Hölzl, Rupert
Document type:
Konferenzbeitrag / Conference Paper
Title:
Las Vegas Computability and Algorithmic Randomness
Collection editors:
Mayr, Ernst W.; Ollinger, Nicolas
Title of conference publication:
32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015)
Series title:
Leibniz International Proceedings in Informatics (LIPIcs)
Series volume:
30
Conference title:
International Symposium on Theoretical Aspects of Computer Science (32., 2015, Garching)
Venue:
München
Year of conference:
2015
Date of conference beginning:
04.03.2015
Date of conference ending:
07.03.2015
Place of publication:
Dagstuhl, Germany
Publisher:
Schloss Dagstuhl-Leibniz-Zentrum für Informatik
Year:
2015
Pages from - to:
130-142
Language:
Englisch
ISBN:
978-3-939897-78-1
ISSN:
1868-8969
DOI:
10.4230/LIPIcs.STACS.2015.130
URN:
urn:nbn:de:0030-drops-49093
URL:
http://drops.dagstuhl.de/opus/volltexte/2015/4909
Department:
Fakultät für Informatik
Institute:
INF 1 - Institut für Theoretische Informatik, Mathematik und Operations Research
Chair:
Brattka, Vasco
Open Access yes or no?:
Ja / Yes
Type of OA license:
CC BY 3.0
Licence URL:
https://creativecommons.org/licenses/by/3.0/legalcode
BibTeX
Occurrences:
Home / Alle Inhalte
Open-Access-Publikationen
Fakultäten (univ.)
Fakultät für Informatik
INF 1 - Institut für Theoretische Informatik, Mathematik und Operations Research
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
Fakultät für Informatik
INF 1 - Institut für Theoretische Informatik, Mathematik und Operations Research