Weighted restarting automata and pushdown relations

From MaRDI portal
Publication:287429

DOI10.1016/J.TCS.2016.04.038zbMATH Open1454.68063OpenAlexW2379555353MaRDI QIDQ287429FDOQ287429

Qichao Wang, Friedrich Otto

Publication date: 26 May 2016

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2016.04.038




Recommendations




Cites Work


Cited In (4)





This page was built for publication: Weighted restarting automata and pushdown relations

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