The Synthesis Company of San Francisco Mountain Logo
The complexity of decision problems for finite-turn multicounter machines | doi.page