Henzinger, Thomas
[Author]
;
Association for Computing Machinery-Digital Library,
ACM Special Interest Group on Logic and Computation,
ACM Special Interest Group on Algorithms and Computation Theory
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACMIEEE Symposium on Logic in Computer Science (LICS)
You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Book;
Conference Proceedings
Title:
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACMIEEE Symposium on Logic in Computer Science (LICS)