Publications of Jérôme Leroux with M. Praveen
Conference articles
-
Jérôme Leroux,
M. Praveen,
and Grégoire Sutre.
Hyper-Ackermannian bounds for pushdown vector addition systems.
In Thomas A. Henzinger and Dale Miller, editors,
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), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014,
pages 63,
2014.
ACM.
[doi]
[bib]
-
Jérôme Leroux,
M. Praveen,
and Grégoire Sutre.
A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness.
In CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings,
volume 8052 of Lecture Notes in Computer Science,
pages 137-151,
2013.
Springer.
[doi]
[bib]
This document was translated from BibTEX by
bibtex2html