Acyclic automata and small expressions using multi-tilde-bar operators (Q1959650): Difference between revisions

@@ Property / author @@
-Jean-Marc Champarnaud
@@ Property / author: Jean-Marc Champarnaud / rank @@
-Normal rank
@@ Property / author @@
+Jean-Marc Champarnaud
@@ Property / author: Jean-Marc Champarnaud / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LANGAGE
@@ Property / describes a project that uses: LANGAGE / 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.tcs.2010.05.023
+Normal rank
@@ Property / OpenAlex ID @@
+W1981156238
@@ Property / OpenAlex ID: W1981156238 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5536277
@@ Property / cites work: Q5536277 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3283892
@@ Property / cites work: Q3283892 / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Matrices and the Stability of Neural Nets
@@ Property / cites work: Boolean Matrices and the Stability of Neural Nets / rank @@
+Normal rank
@@ Property / cites work @@
+FROM C-CONTINUATIONS TO NEW QUADRATIC ALGORITHMS FOR AUTOMATON SYNTHESIS
+Normal rank
@@ Property / cites work @@
+Follow automata.
@@ Property / cites work: Follow automata. / rank @@
+Normal rank
@@ Property / cites work @@
+Implementation and Application of Automata
@@ Property / cites work: Implementation and Application of Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Obtaining shorter regular expressions from finite-state automata
+Normal rank
@@ Property / cites work @@
+Q5437181
@@ Property / cites work: Q5437181 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular expression for a language without empty word
+Normal rank
@@ Property / cites work @@
+Q4910730
@@ Property / cites work: Q4910730 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Automata, Digraph Connectivity, and Regular Expression Size
+Normal rank
@@ Property / cites work @@
+Characterization of Glushkov automata
@@ Property / cites work: Characterization of Glushkov automata / rank @@
+Normal rank
@@ Property / cites work @@
+A New Family of Regular Operators Fitting with the Position Automaton Computation
+Normal rank
@@ Property / cites work @@
+Multi-tilde Operators and Their Glushkov Automata
@@ Property / cites work: Multi-tilde Operators and Their Glushkov Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank