Senescent ground tree rewrite systems - Research - Royal Holloway, University of London

Home > Computer Science home > Research > Profile > Publications > Senescent ground tree rewrite systems

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 proceeding › Conference contribution

Published

Documents

Manuscript
Accepted author manuscript, 177 KB, PDF document

Matthew Hague

Original language	English
Title of host publication	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)
Publisher	ACM
Number of pages	10
DOIs	https://doi.org/10.1145/2603088.2603112
Publication status	Published - 14 Jul 2014
Event	Computer Science Logic -- Logic in Computer Science (CSL-LICS) - Vienna, Austria Duration: 14 Jul 2014 → 18 Jul 2014