KAT + B!

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

  • Niels Bjørn Bugge Grathwohl
  • Dexter Kozen
  • Konstantinos Mamouras
OriginalsprogEngelsk
TitelCSL-LICS '14 : Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Antal sider10
ForlagAssociation for Computing Machinery
Publikationsdato2014
Artikelnummer44
ISBN (Trykt)978-1-4503-2886-9
DOI
StatusUdgivet - 2014
BegivenhedCSL-LICS '14 - Vienna, Østrig
Varighed: 14 jul. 2014 → 18 jul. 2014

Konference

KonferenceCSL-LICS '14
LandØstrig
ByVienna
Periode14/07/2014 → 18/07/2014

ID: 136802129