Parameterized Proof Complexity
Dantchev, Stefan ; Martin, Barnaby ; Szeider, Stefan
- Link zu diesem Datensatz
- https://d-nb.info/1288702221
- Titel
- Parameterized Proof Complexity
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- by Stefan Dantchev, Barnaby Martin, Stefan Szeider
- Autor(en)
-
- Dantchev, Stefan
- Martin, Barnaby
- Szeider, Stefan
- Organisation(en)
-
- SpringerLink (Online service)
- Zeitliche Einordnung
- Erscheinungsdatum: 2011
- Umfang/Format
- Online-Ressource
- ISSN
14208954- DOI
- 10.1007/s00037-010-0001-1
- Online
- https://doi.org/10.1007/s00037-010-0001-1
- Sprache
- eng
- Schlagwörter
- Frühere/spätere Titel
-
- Enthalten in: Computational complexity
- Enthalten in: Computational complexity
- Enthalten in: Computational complexity
- Stand
- 09.05.2023 21:35
- Im Katalog seit
- 07.03.2026