Q5009436 (Q5009436): Difference between revisions

@@ Property / author @@
-Q282112
@@ Property / author: Q282112 / rank @@
-Normal rank
@@ Property / author @@
+Sergei S. Goncharov
@@ Property / author: Sergei S. Goncharov / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3575369
@@ Property / cites work: Q3575369 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287508
@@ Property / cites work: Q5287508 / rank @@
+Normal rank
@@ Property / cites work @@
+A Categorical Semantics of Signal Flow Graphs
@@ Property / cites work: A Categorical Semantics of Signal Flow Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+The calculus of signal flow diagrams. I: Linear relations on streams.
+Normal rank
@@ Property / cites work @@
+Q4091917
@@ Property / cites work: Q4091917 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994935
@@ Property / cites work: Q3994935 / rank @@
+Normal rank
@@ Property / cites work @@
+Unguarded recursion on coinductive resumptions
@@ Property / cites work: Unguarded recursion on coinductive resumptions / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded traced categories
@@ Property / cites work: Guarded traced categories / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying Guarded and Unguarded Iteration
@@ Property / cites work: Unifying Guarded and Unguarded Iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Q3104005
@@ Property / cites work: Q3104005 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixing Zeno gaps
@@ Property / cites work: Fixing Zeno gaps / rank @@
+Normal rank
@@ Property / cites work @@
+Composing monads using coproducts
@@ Property / cites work: Composing monads using coproducts / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Completely iterative algebras and completely iterative monads
+Normal rank
@@ Property / cites work @@
+Q4282574
@@ Property / cites work: Q4282574 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Languages and models for hybrid automata: a coalgebraic perspective
+Normal rank
@@ Property / cites work @@
+Continuity as a computational effect
@@ Property / cites work: Continuity as a computational effect / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997917
@@ Property / cites work: Q3997917 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Analysis of Hybrid Systems
@@ Property / cites work: Logical Analysis of Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Programming with Infinitesimals: A While-Language for Hybrid System Modeling
+Normal rank
@@ Property / cites work @@
+Verification and Control of Hybrid Systems
@@ Property / cites work: Verification and Control of Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Zeno hybrid systems
@@ Property / cites work: Zeno hybrid systems / rank @@
+Normal rank