Lossy counter machines decidability cheat sheet
RP'10 Proceedings of the 4th international conference on Reachability problems
Multiply-recursive upper bounds with Higman's Lemma
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
The power of well-structured systems
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Hi-index | 5.23 |