A coalgebraic perspective on linear weighted automata (Q418134): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2011.12.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2588294347
@@ Property / OpenAlex ID: W2588294347 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693062
@@ Property / cites work: Q4693062 / rank @@
+Normal rank
@@ Property / cites work @@
+Digital Image Compression
@@ Property / cites work: Digital Image Compression / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Linear-Time Properties of Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Terminal coalgebras in well-founded set theory
@@ Property / cites work: Terminal coalgebras in well-founded set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Conjugacy and Equivalence of Weighted Automata and Functional Transducers
+Normal rank
@@ Property / cites work @@
+Q3994777
@@ Property / cites work: Q3994777 / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted Bisimulation in Linear Algebraic Form
@@ Property / cites work: Weighted Bisimulation in Linear Algebraic Form / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation relations for weighted automata
@@ Property / cites work: Bisimulation relations for weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4444124
@@ Property / cites work: Q4444124 / rank @@
+Normal rank
@@ Property / cites work @@
+Quasideterminants
@@ Property / cites work: Quasideterminants / rank @@
+Normal rank
@@ Property / cites work @@
+Copower functors
@@ Property / cites work: Copower functors / rank @@
+Normal rank
@@ Property / cites work @@
+Monoid-labeled transition systems
@@ Property / cites work: Monoid-labeled transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Products of coalgebras.
@@ Property / cites work: Products of coalgebras. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4775958
@@ Property / cites work: Q4775958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893205
@@ Property / cites work: Q4893205 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonlinear control systems.
@@ Property / cites work: Nonlinear control systems. / rank @@
+Normal rank
@@ Property / cites work @@
+CCS expressions, finite state processes, and three problems of equivalence
+Normal rank
@@ Property / cites work @@
+THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4337983
@@ Property / cites work: Q4337983 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimization algorithms for sequential transducers
+Normal rank
@@ Property / cites work @@
+EDIT-DISTANCE OF WEIGHTED AUTOMATA: GENERAL DEFINITIONS AND ALGORITHMS
+Normal rank
@@ Property / cites work @@
+Q4540930
@@ Property / cites work: Q4540930 / 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 @@
+Behavioural differential equations: a coinductive calculus of streams, automata, and power series
+Normal rank
@@ Property / cites work @@
+A coinductive calculus of streams
@@ Property / cites work: A coinductive calculus of streams / rank @@
+Normal rank
@@ Property / cites work @@
+Rational streams coalgebraically
@@ Property / cites work: Rational streams coalgebraically / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414854
@@ Property / cites work: Q4414854 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4155837
@@ Property / cites work: Q4155837 / rank @@
+Normal rank
@@ Property / cites work @@
+On the definition of a family of automata
@@ Property / cites work: On the definition of a family of automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449542
@@ Property / cites work: Q4449542 / rank @@
+Normal rank