WEIGHTED AUTOMATA AS COALGEBRAS IN CATEGORIES OF MATRICES (Q5401551): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Variation through enrichment
@@ Property / cites work: Variation through enrichment / rank @@
+Normal rank
@@ Property / cites work @@
+Matrices, machines and behaviors
@@ Property / cites work: Matrices, machines and behaviors / rank @@
+Normal rank
@@ Property / cites work @@
+A coalgebraic perspective on linear weighted automata
+Normal rank
@@ Property / cites work @@
+Bisimulation relations for weighted automata
@@ Property / cites work: Bisimulation relations for weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Lawvere completeness in topology
@@ Property / cites work: Lawvere completeness in topology / rank @@
+Normal rank
@@ Property / cites work @@
+One setting for all: Metric, topology, uniformity, approach structure
+Normal rank
@@ Property / cites work @@
+Products of coalgebras.
@@ Property / cites work: Products of coalgebras. / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical representation theorems of fuzzy relations
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a linear algebra of programming
@@ Property / cites work: Towards a linear algebra of programming / 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 @@
+Quantitative Kleene coalgebras
@@ Property / cites work: Quantitative Kleene coalgebras / rank @@
+Normal rank