Algorithmique et complexité des systèmes à compteurs. (Algorithmics and complexity of counter machines)

Michael Blondin. Algorithmique et complexité des systèmes à compteurs. (Algorithmics and complexity of counter machines). PhD thesis, University of Paris-Saclay, France, 2016. [doi]

Abstract

Abstract is missing.