History-deterministic Parikh automata

DOI10.1145/3742431MaRDI QIDQ6939161zbMATH OpenFDO

Authors Enzo Erlich, Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann

Publication date 22 August 2025

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NoDerivs 4.0 International

zbMATH Keywords

Parikh automatahistory-determinism

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

This page was built for publication: History-deterministic Parikh automata

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