Dependent Event Types. / Luo, Zhaohui; Soloviev, Sergei .
Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings. Springer, 2017. p. 216-228 (Lecture Notes in Computer Science; Vol. 10388).Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
Accepted author manuscript, 111 KB, PDF document
Original language | English |
---|---|
Title of host publication | Logic, Language, Information, and Computation |
Subtitle of host publication | 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings |
Publisher | Springer |
Pages | 216-228 |
Number of pages | 13 |
ISBN (Electronic) | 978-3-662-55386-2 |
ISBN (Print) | 978-3-662-55385-5 |
DOIs | |
Publication status | Published - 2017 |
Name | Lecture Notes in Computer Science |
---|---|
Volume | 10388 |
ISSN (Print) | 0302-9743 |
ID: 28302191