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

@@ Property / author @@
-Marcello M. Bonsangue
@@ Property / author: Marcello M. Bonsangue / rank @@
-Normal rank
@@ Property / author @@
-Q265783
@@ Property / author: Q265783 / rank @@
-Normal rank
@@ Property / author @@
+Marcello M. Bonsangue
@@ Property / author: Marcello M. Bonsangue / rank @@
+Normal rank
@@ Property / author @@
+Jan J. M. M. Rutten
@@ Property / author: Jan J. M. M. Rutten / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q70
@@ Property / Mathematics Subject Classification ID: 68Q70 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6038292
@@ Property / zbMATH DE Number: 6038292 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+linear weighted automata
@@ Property / zbMATH Keywords: linear weighted automata / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+non-deterministic automata
@@ Property / zbMATH Keywords: non-deterministic automata / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+probability
@@ Property / zbMATH Keywords: probability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+bisimilarity
@@ Property / zbMATH Keywords: bisimilarity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+language equivalence
@@ Property / zbMATH Keywords: language equivalence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+coalgebras
@@ Property / zbMATH Keywords: coalgebras / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Vect
@@ Property / zbMATH Keywords: Vect / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Set
@@ Property / zbMATH Keywords: Set / 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.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
@@ links / mardi / name / links / mardi / name @@
+Publication:418134