Senescent ground tree rewrite systems. / Hague, Matthew.

CSL-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). ACM, 2014.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Documents

  • Manuscript

    Accepted author manuscript, 177 KB, PDF document

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)
PublisherACM
Number of pages10
DOIs
Publication statusPublished - 14 Jul 2014
EventComputer Science Logic -- Logic in Computer Science (CSL-LICS) - Vienna, Austria
Duration: 14 Jul 201418 Jul 2014

Conference

ConferenceComputer Science Logic -- Logic in Computer Science (CSL-LICS)
Country/TerritoryAustria
CityVienna
Period14/07/1418/07/14
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 25572791