A Linear-Time Algorithm for the Orbit Problem over Cyclic Groups
From MaRDI portal
Publication:3190127
DOI10.1007/978-3-662-44584-6_23zbMath1417.68137OpenAlexW2512533531MaRDI QIDQ3190127
Sanming Zhou, Anthony Widjaja Lin
Publication date: 15 September 2014
Published in: CONCUR 2014 – Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-44584-6_23
Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
