doi — 10.4230/LI

1 paper found with doi equals to 10.4230/LIPICS.FSTTCS.2019.41.

  1. The Well Structured Problem for Presburger Counter Machines

    @inproceedings{FINGU19,
 author = {Finkel, Alain and Gupta, Ekanshdeep},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/fsttcs/FinkelG19.bib},
 booktitle = {39th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2019, December 11-13, 2019,
Bombay, India},
 doi = {10.4230/LIPICS.FSTTCS.2019.41},
 editor = {Arkadev Chattopadhyay and
Paul Gastin},
 pages = {41:1--41:15},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
 series = {LIPIcs},
 timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
 title = {The Well Structured Problem for Presburger Counter Machines},
 volume = {150},
 year = {2019}
}