Regular expressions for data words

DOI10.1007/978-3-642-28717-6_22MaRDI QIDQ2891457zbMATH OpenOpenAlexFDO

Authors Domajoj Vrgoč, Leonid 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

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Regular expressions for data words
• Regular expressions with binding over data words for querying graph databases
• On notions of regularity for data languages
• On Notions of Regularity for Data Languages
• Regular expressions for querying data graphs

Cited in

(13)

• Containment of queries for graphs with data
• Weighted register automata and weighted logic on data words
• Parameterized regular expressions and their languages
• Reactive synthesis from visibly register pushdown automata
• Regular expressions for data words
• Regular Transformations of Data Words Through Origin Information
• Parameterized regular expressions and their languages
• Walking on data words
• Walking on data words
• Regular expressions for querying data graphs
• Regular expressions with binding over data words for querying graph databases
• Data graphs with incomplete information (and a way to complete them)
• On notions of regularity for data languages

This page was built for publication: Regular expressions for data words

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