 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen  [1]
|
Hilfe 
|
 |
|
| Suche: Citkey="Razborov/95" |
|
Lower bounds for propositional proofs and independence results in bounded arithmetic
Alexander A. Razborov
Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)
Lecture Notes in Computer Science
969
, 1995, pp. 105-105
| Editors | Jiȓí Wiedermann, Petr Hájek | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest | |
|
|
|
|