Coalgebras for fuzzy transition systems (Q276401): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2014.01.008
@@ Property / DOI: 10.1016/j.entcs.2014.01.008 / rank @@
-Normal rank
@@ Property / author @@
-Yi-Xiang Chen
@@ Property / author: Yi-Xiang Chen / rank @@
-Normal rank
@@ Property / author @@
+Yi-Xiang Chen
@@ Property / author: Yi-Xiang Chen / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6576787
@@ Property / zbMATH DE Number: 6576787 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+fuzzy transition system
@@ Property / zbMATH Keywords: fuzzy transition system / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+fuzzy bisimulation
@@ Property / zbMATH Keywords: fuzzy bisimulation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+coalgebra
@@ Property / zbMATH Keywords: coalgebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+weak pullback
@@ Property / zbMATH Keywords: weak pullback / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+final coalgebra
@@ Property / zbMATH Keywords: final coalgebra / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317915
@@ Property / Wikidata QID: Q113317915 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2014.01.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2052776783
@@ Property / OpenAlex ID: W2052776783 / rank @@
+Normal rank
@@ Property / cites work @@
+A final coalgebra theorem
@@ Property / cites work: A final coalgebra theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic fuzzy automata
@@ Property / cites work: Nondeterministic fuzzy automata / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulations for fuzzy automata
@@ Property / cites work: Bisimulations for fuzzy automata / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for probabilistic transition systems: A coalgebraic approach
+Normal rank
@@ Property / cites work @@
+Stochastic coalgebraic logic
@@ Property / cites work: Stochastic coalgebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Final coalgebras and the Hennessy-Milner property
@@ Property / cites work: Final coalgebras and the Hennessy-Milner property / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499310
@@ Property / cites work: Q4499310 / rank @@
+Normal rank
@@ Property / cites work @@
+Functors for coalgebras
@@ Property / cites work: Functors for coalgebras / 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 @@
+Probabilistic systems coalgebraically: a survey
@@ Property / cites work: Probabilistic systems coalgebraically: a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis and control of fuzzy discrete event systems using bisimulation equivalence
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2014.01.008
@@ Property / DOI: 10.1016/J.ENTCS.2014.01.008 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:276401