An algebraic approach to data languages and timed languages (Q1398367): Difference between revisions

@@ Property / cites work @@
+Langages sur des alphabets infinis
@@ Property / cites work: Langages sur des alphabets infinis / rank @@
+Normal rank
@@ Property / cites work @@
+Timed regular expressions
@@ Property / cites work: Timed regular expressions / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded-width polynomial-size branching programs recognize exactly those languages in \(NC^ 1\)
+Normal rank
@@ Property / cites work @@
+A logical characterization of data languages.
@@ Property / cites work: A logical characterization of data languages. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938626
@@ Property / cites work: Q4938626 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4807830
@@ Property / cites work: Q4807830 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791839
@@ Property / cites work: Q4791839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4514735
@@ Property / cites work: Q4514735 / rank @@
+Normal rank
@@ Property / cites work @@
+The expressive power of clocks
@@ Property / cites work: The expressive power of clocks / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-memory automata
@@ Property / cites work: Finite-memory automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779173
@@ Property / cites work: Q4779173 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3769981
@@ Property / cites work: Q3769981 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+On finite monoids having only trivial subgroups
@@ Property / cites work: On finite monoids having only trivial subgroups / rank @@
+Normal rank