- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: 10.2168/LMCS-9(1:11)2013
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2013
- Urheber
- DOI
-
10.18154/RWTH-CONV-073997
- URN
-
urn:nbn:de:101:1-2018111907091374490198
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:43 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Grohe, Martin
- Grussien, Berit
- Hernich, Andre
- Laubner, Bastian
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2013
Ähnliche Objekte (12)
Capturing Polynomial Time and Logarithmic Space using Modular Decompositions and Limited Recursion
Choiceless Logarithmic Space
Logic and proof method of recursion
Hadamard gaps in weighted logarithmic bloch space
Topological recursion
Recursion theory
Querying knowledge and data bases by a universal description logic with recursion
Querying knowledge and data bases by a universal description logic with recursion
Computing shortest paths in series parallel graphs in logarithmic space
Higher recursion theory
Recursion-theoretic hierarchies
Contributions to α [alpha-] and β-recursion [beta-recursion] theory
Capturing Polynomial Time and Logarithmic Space using Modular Decompositions and Limited Recursion
Choiceless Logarithmic Space
Logic and proof method of recursion
Hadamard gaps in weighted logarithmic bloch space
Topological recursion
Recursion theory
Querying knowledge and data bases by a universal description logic with recursion
Querying knowledge and data bases by a universal description logic with recursion
Computing shortest paths in series parallel graphs in logarithmic space
Higher recursion theory
Recursion-theoretic hierarchies
Contributions to α [alpha-] and β-recursion [beta-recursion] theory
Capturing Polynomial Time and Logarithmic Space using Modular Decompositions and Limited Recursion
Choiceless Logarithmic Space
Logic and proof method of recursion
Hadamard gaps in weighted logarithmic bloch space
Topological recursion
Recursion theory
Querying knowledge and data bases by a universal description logic with recursion
Querying knowledge and data bases by a universal description logic with recursion
Computing shortest paths in series parallel graphs in logarithmic space
Higher recursion theory
Recursion-theoretic hierarchies