Reasoning about online algorithms with weighted automata
From MaRDI portal
Publication:2930304
DOI10.1145/1721837.1721844zbMath1300.68071MaRDI QIDQ2930304
Orna Kupferman, Benjamin Aminof, Robby Lampert
Publication date: 18 November 2014
Published in: ACM Transactions on Algorithms (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1721837.1721844
68W40: Analysis of algorithms
68Q45: Formal languages and automata
68W27: Online algorithms; streaming algorithms