Reasoning about strings in databases (Q1807679): Difference between revisions

@@ 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.1006/jcss.1999.1633
+Normal rank
@@ Property / OpenAlex ID @@
+W2032874529
@@ Property / OpenAlex ID: W2032874529 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3741088
@@ Property / cites work: Q3741088 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Time-space-optimal string matching
@@ Property / cites work: Time-space-optimal string matching / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Mappings of languages by two-tape devices
@@ Property / cites work: Mappings of languages by two-tape devices / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-tape and multi-head pushdown automata
@@ Property / cites work: Multi-tape and multi-head pushdown automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Domain independence and the relational calculus
@@ Property / cites work: Domain independence and the relational calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Sequences, datalog, and transducers
@@ Property / cites work: Sequences, datalog, and transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Absolutely parallel grammars and two-way finite-state transducers
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+String variable grammar: A logic grammar formalism for the biological language of DNA
+Normal rank
@@ Property / cites work @@
+Q4040284
@@ Property / cites work: Q4040284 / rank @@
+Normal rank
@@ Property / cites work @@
+The polynomial-time hierarchy
@@ Property / cites work: The polynomial-time hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+On the valuedness of finite transducers
@@ Property / cites work: On the valuedness of finite transducers / rank @@
+Normal rank
@@ Property / cites work @@
+On the lengths of values in a finite transducer
@@ Property / cites work: On the lengths of values in a finite transducer / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic can be more expressive
@@ Property / cites work: Temporal logic can be more expressive / rank @@
+Normal rank