Towards the Complexity of Petri Nets and One Counter Machines via Coordinated Table Selective Substitution Systems.

Liliana Cojocaru

Browse the full SYNASC paper archive.