The exact hardness of deciding derivational and runtime complexity

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

Dokumenter

OriginalsprogEngelsk
TitelComputer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL
RedaktørerMarc Bezem
Antal sider15
ForlagSchloss Dagstuhl - Leibniz-Zentrum für Informatik
Publikationsdato2011
Sider481-495
ISBN (Elektronisk)978-3-939897-32-3
DOI
StatusUdgivet - 2011
Begivenhed25th International Workshop on Computer Science Logic - Bergen, Norge
Varighed: 12 sep. 2011 → 15 sep. 2011
Konferencens nummer: 25

Konference

Konference25th International Workshop on Computer Science Logic
Nummer25
LandNorge
ByBergen
Periode12/09/2011 → 15/09/2011
NavnLeibniz International Proceedings in Informatics
Vol/bind12
ISSN1868-8969

ID: 172396105