Senescent ground tree rewrite systems

Matthew Hague

doi:10.1145/2603088.2603112

Senescent ground tree rewrite systems

Matthew Hague

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

103 Downloads (Pure)

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

Conference

Conference	Computer Science Logic -- Logic in Computer Science (CSL-LICS)
Country/Territory	Austria
City	Vienna
Period	14/07/14 → 18/07/14

Access to Document

10.1145/2603088.2603112

ManuscriptAccepted author manuscript, 177 KB

Verification of Concurrent and Higher-Order Recursive Programs
Hague, M. (PI)
Eng & Phys Sci Res Council EPSRC
1/05/13 → 30/04/18
Project: Research

Cite this

@inproceedings{93496015101a435e997bc0e666eb06b9,

title = "Senescent ground tree rewrite systems",

author = "Matthew Hague",

year = "2014",

month = jul,

day = "14",

doi = "10.1145/2603088.2603112",

language = "English",

booktitle = "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",

note = "Computer Science Logic -- Logic in Computer Science (CSL-LICS) ; Conference date: 14-07-2014 Through 18-07-2014",

}

Hague, M 2014, Senescent ground tree rewrite systems. in 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, Computer Science Logic -- Logic in Computer Science (CSL-LICS), Vienna, Austria, 14/07/14. https://doi.org/10.1145/2603088.2603112

TY - GEN

T1 - Senescent ground tree rewrite systems

AU - Hague, Matthew

PY - 2014/7/14

Y1 - 2014/7/14

U2 - 10.1145/2603088.2603112

DO - 10.1145/2603088.2603112

M3 - Conference contribution

BT - 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)

PB - ACM

T2 - Computer Science Logic -- Logic in Computer Science (CSL-LICS)

Y2 - 14 July 2014 through 18 July 2014

ER -

Senescent ground tree rewrite systems

Conference

Access to Document

Projects

Verification of Concurrent and Higher-Order Recursive Programs

Cite this