Minimal consistent DFA revisited (Q306711): Difference between revisions

@@ Property / Wikidata QID @@
+Q58209324
@@ Property / Wikidata QID: Q58209324 / 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.2016.07.023
+Normal rank
@@ Property / OpenAlex ID @@
+W2480486330
@@ Property / OpenAlex ID: W2480486330 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3214824
@@ Property / cites work: Q3214824 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of automaton identification from given data
+Normal rank
@@ Property / cites work @@
+On the complexity of minimum inference of regular sets
+Normal rank
@@ Property / cites work @@
+Minimal cover-automata for finite languages
@@ Property / cites work: Minimal cover-automata for finite languages / rank @@
+Normal rank
@@ Property / cites work @@
+On Separation by Locally Testable and Locally Threshold Testable Languages
+Normal rank
@@ Property / cites work @@
+Separating Regular Languages with First-Order Logic
+Normal rank
@@ Property / cites work @@
+Learning Minimal Separating DFA’s for Compositional Verification
+Normal rank
@@ Property / cites work @@
+On state reduction of incompletely specified finite state machines
+Normal rank
@@ Property / cites work @@
+Computing Minimal Separating DFAs and Regular Invariants Using SAT and SMT Solvers
+Normal rank
@@ Property / cites work @@
+Q2754006
@@ Property / cites work: Q2754006 / rank @@
+Normal rank
@@ Property / cites work @@
+Language identification in the limit
@@ Property / cites work: Language identification in the limit / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:306711