Regular Expressions for Data Words
From MaRDI portal
Publication:2891457
DOI10.1007/978-3-642-28717-6_22zbMath1352.68136OpenAlexW2170346842MaRDI QIDQ2891457
Domagoj Vrgoč, Leonid O. Libkin
Publication date: 15 June 2012
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://www.pure.ed.ac.uk/ws/files/17826352/Libkin_Vrgoc_2012_Regular_Expressions_for_Data_Words.pdf
Related Items (4)
Reactive synthesis from visibly register pushdown automata ⋮ Containment of queries for graphs with data ⋮ Walking on data words ⋮ Regular expressions for data words
This page was built for publication: Regular Expressions for Data Words
