Algebra-coalgebra duality in brzozowski's minimization algorithm (Q5410330): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2138769606
@@ Property / OpenAlex ID: W2138769606 / rank @@
+Normal rank
@@ Property / cites work @@
+A Coalgebraic Perspective on Minimization and Determinization
+Normal rank
@@ Property / cites work @@
+Well-Pointed Coalgebras (Extended Abstract)
@@ Property / cites work: Well-Pointed Coalgebras (Extended Abstract) / rank @@
+Normal rank
@@ Property / cites work @@
+On the relevance of abstract algebra to control theory
+Normal rank
@@ Property / cites work @@
+Machines in a Category: An Expository Introduction
+Normal rank
@@ Property / cites work @@
+Adjoint machines, state-behavior machines, and duality
+Normal rank
@@ Property / cites work @@
+Extensions of Semilattices
@@ Property / cites work: Extensions of Semilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy machines in a category
@@ Property / cites work: Fuzzy machines in a category / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of system theory: The Hankel matrix
@@ Property / cites work: Foundations of system theory: The Hankel matrix / rank @@
+Normal rank
@@ Property / cites work @@
+Machines in a category
@@ Property / cites work: Machines in a category / rank @@
+Normal rank
@@ Property / cites work @@
+Minimization via Duality
@@ Property / cites work: Minimization via Duality / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771053
@@ Property / cites work: Q2771053 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of software science and computational structures. 15th international conference, FOSSACS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012. Proceedings
+Normal rank
@@ Property / cites work @@
+Brzozowski’s Algorithm (Co)Algebraically
@@ Property / cites work: Brzozowski’s Algorithm (Co)Algebraically / rank @@
+Normal rank
@@ Property / cites work @@
+A coalgebraic perspective on linear weighted automata
+Normal rank
@@ Property / cites work @@
+Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
+Normal rank
@@ Property / cites work @@
+Nondeterministic Moore Automata and Brzozowski’s Algorithm
+Normal rank
@@ Property / cites work @@
+THE CATEGORY OF SIMULATIONS FOR WEIGHTED TREE AUTOMATA
+Normal rank
@@ Property / cites work @@
+Stone Duality and the Recognisable Languages over an Algebra
+Normal rank
@@ Property / cites work @@
+Minimal realization of machines in closed categories
+Normal rank
@@ Property / cites work @@
+On the postulates for lattices
@@ Property / cites work: On the postulates for lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q5638871
@@ Property / cites work: Q5638871 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362921
@@ Property / cites work: Q4362921 / rank @@
+Normal rank
@@ Property / cites work @@
+Local variable scoping and Kleene algebra with tests
+Normal rank
@@ Property / cites work @@
+Probabilistic automata
@@ Property / cites work: Probabilistic automata / rank @@
+Normal rank
@@ Property / cites work @@
+Projections on Invariant Subspaces
@@ Property / cites work: Projections on Invariant Subspaces / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3644388
@@ Property / cites work: Q3644388 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2908856
@@ Property / cites work: Q2908856 / rank @@
+Normal rank
@@ Property / cites work @@
+Experimental Evaluation of Classical Automata Constructions
+Normal rank
@@ Property / cites work @@
+Q4540977
@@ Property / cites work: Q4540977 / rank @@
+Normal rank
@@ Property / cites work @@
+A Bialgebraic Approach to Automata and Formal Language Theory
+Normal rank