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 [3] Hilfe Hilfe
 
Suche: Citkey="Razborov/04a"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Feasible proofs and computations: Partnership and fusion Publikation auswählen
Alexander A. Razborov

Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)
Lecture Notes in Computer Science 3142 , 2004, pp. 8-14

Editors  Josep Díaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg
 
URL:   http://www.springerlink.com/content/hwbd96pn120lbdbn