New complexity results for some linear counting problems using minimal solutions to linear Diophantine equations (extended abstract)

DOI10.1007/3-540-45089-0_16MaRDI QIDQ3559784zbMATH OpenOpenAlexFDO

Authors Gaoyan Xie, Cheng Li, Zhe Dang

Publication date 7 May 2010

Published in Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45089-0_16

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Linear reachability problems and minimal solutions to linear Diophantine equation systems
• ON COUNTER MACHINES, REACHABILITY PROBLEMS, AND DIOPHANTINE EQUATIONS
• scientific article; zbMATH DE number 1405441
• The complexity of counting models of linear-time temporal logic
• Reachability in timed counter systems

Cited in

(2)

• scientific article; zbMATH DE number 1405441 (Why is no real title available?)
• Linear reachability problems and minimal solutions to linear Diophantine equation systems

This page was built for publication: New complexity results for some linear counting problems using minimal solutions to linear Diophantine equations (extended abstract)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3559784)