KAT + B!

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Niels Bjørn Bugge Grathwohl
  • Dexter Kozen
  • Konstantinos Mamouras
Original languageEnglish
Title of host publicationCSL-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)
Number of pages10
PublisherAssociation for Computing Machinery
Publication date2014
Article number44
ISBN (Print)978-1-4503-2886-9
DOIs
Publication statusPublished - 2014
EventCSL-LICS '14 - Vienna, Austria
Duration: 14 Jul 2014 → 18 Jul 2014

Conference

ConferenceCSL-LICS '14
LandAustria
ByVienna
Periode14/07/2014 → 18/07/2014

ID: 136802129