Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

TUM-Logo

Die bibliographische Datenbank LEABib


SuchenListe der JournaleListe der SerienListe der KonferenzenAusgewählte Publikationen Ausgewählte Publikationen [1] Hilfe Hilfe
 
Suche: Citkey="Vorobyov/04"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

The most nonelementary theory Publikation auswählen
Sergei Vorobyov

Information and Computation 190 (2), 2004, pp. 196-219

Editors  Albert R. Meyer
Publisher:  Elsevier B.V.
Address:  Orlando-Amsterdam-Tokyo-Singapore
 
Keywords:   lower complexity bound, nonelementary theory, generic reduction, reduction via length order, inductive definition
 
URL:   http://dx.doi.org/10.1016/j.ic.2004.02.002