Semilinear Sets and Counter Machines: a Brief Survey

From MaRDI portal

Publication:2805446

Jump to:navigation, search

DOI10.3233/FI-2015-1198zbMath1335.68124MaRDI QIDQ2805446

Oscar H. Ibarra, Shinnosuke Seki

Publication date: 11 May 2016

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

linear Diophantine equations closure property descriptional complexity Parikh's theorem semilinear set decidable reversal-bounded counter machine undecidable

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (1)

This page was built for publication: Semilinear Sets and Counter Machines: a Brief Survey

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2805446&oldid=15711334"