Regular expressions for data words (Q2353403): Difference between revisions

@@ Property / author @@
-Leonid O. Libkin
@@ Property / author: Leonid O. Libkin / rank @@
-Normal rank
@@ Property / author @@
+Leonid O. Libkin
@@ Property / author: Leonid O. Libkin / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jcss.2015.03.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2002208751
@@ Property / OpenAlex ID: W2002208751 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata vs. Logics on Data Words
@@ Property / cites work: Automata vs. Logics on Data Words / rank @@
+Normal rank
@@ Property / cites work @@
+Two-variable logic on data words
@@ Property / cites work: Two-variable logic on data words / rank @@
+Normal rank
@@ Property / cites work @@
+XPath evaluation in linear time
@@ Property / cites work: XPath evaluation in linear time / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting of regular expressions and regular path queries
+Normal rank
@@ Property / cites work @@
+On the Use of Guards for Logics with Data
@@ Property / cites work: On the Use of Guards for Logics with Data / rank @@
+Normal rank
@@ Property / cites work @@
+LTL with the freeze quantifier and register automata
+Normal rank
@@ Property / cites work @@
+A lower bound technique for the size of nondeterministic finite automata
+Normal rank
@@ Property / cites work @@
+Variable Automata over Infinite Alphabets
@@ Property / cites work: Variable Automata over Infinite Alphabets / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-memory automata
@@ Property / cites work: Finite-memory automata / rank @@
+Normal rank
@@ Property / cites work @@
+Tree Automata over Infinite Alphabets
@@ Property / cites work: Tree Automata over Infinite Alphabets / rank @@
+Normal rank
@@ Property / cites work @@
+Logics for Unranked Trees: An Overview
@@ Property / cites work: Logics for Unranked Trees: An Overview / rank @@
+Normal rank
@@ Property / cites work @@
+Regular Expressions with Binding over Data Words for Querying Graph Databases
+Normal rank
@@ Property / cites work @@
+Regular Expressions for Data Words
@@ Property / cites work: Regular Expressions for Data Words / rank @@
+Normal rank
@@ Property / cites work @@
+Finding Regular Simple Paths in Graph Databases
@@ Property / cites work: Finding Regular Simple Paths in Graph Databases / rank @@
+Normal rank
@@ Property / cites work @@
+Finite state machines for strings over infinite alphabets
+Normal rank
@@ Property / cites work @@
+Intractability of decision problems for finite-memory automata
+Normal rank
@@ Property / cites work @@
+Automata for XML -- a survey
@@ Property / cites work: Automata for XML -- a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Automata and Logics for Words and Trees over an Infinite Alphabet
+Normal rank
@@ Property / cites work @@
+Q3392273
@@ Property / cites work: Q3392273 / rank @@
+Normal rank