Simplified Coalgebraic Trace Equivalence (Q5256339): Difference between revisions

@@ Property / author @@
-Alexander Kurz
@@ Property / author: Alexander Kurz / rank @@
-Normal rank
@@ Property / author @@
+Alexander Kurz
@@ Property / author: Alexander Kurz / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1951729275
@@ Property / OpenAlex ID: W1951729275 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2463
@@ Property / arXiv ID: 1410.2463 / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive Systems
@@ Property / cites work: Reactive Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4044767
@@ Property / cites work: Q4044767 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+Coequalizers and free triples
@@ Property / cites work: Coequalizers and free triples / rank @@
+Normal rank
@@ Property / cites work @@
+Final Semantics for Decorated Traces
@@ Property / cites work: Final Semantics for Decorated Traces / rank @@
+Normal rank
@@ Property / cites work @@
+Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
+Normal rank
@@ Property / cites work @@
+A Coalgebraic Approach to Linear-Time Logics
@@ Property / cites work: A Coalgebraic Approach to Linear-Time Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4105777
@@ Property / cites work: Q4105777 / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Trace Semantics via Coinduction
@@ Property / cites work: Generic Trace Semantics via Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Trace Semantics via Determinization
@@ Property / cites work: Trace Semantics via Determinization / rank @@
+Normal rank
@@ Property / cites work @@
+A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
+Normal rank
@@ Property / cites work @@
+Q4499221
@@ Property / cites work: Q4499221 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3938468
@@ Property / cites work: Q3938468 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2908856
@@ Property / cites work: Q2908856 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizing determinization from automata to coalgebras
+Normal rank
@@ Property / cites work @@
+Q3171227
@@ Property / cites work: Q3171227 / rank @@
+Normal rank
@@ Property / cites work @@
+On the final sequence of a finitary set functor
@@ Property / cites work: On the final sequence of a finitary set functor / rank @@
+Normal rank