Long-run cost analysis by approximation of linear operators over dioids (Q3583023): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692885
@@ Property / cites work: Q4692885 / rank @@
+Normal rank
@@ Property / cites work @@
+Semiring-based constraint satisfaction and optimization
+Normal rank
@@ Property / cites work @@
+ENDOMORPHISMS OF SEMIMODULES OVER SEMIRINGS WITH AN IDEMPOTENT OPERATION
+Normal rank
@@ Property / cites work @@
+Graphs, dioids and semirings. New models and algorithms.
+Normal rank
@@ Property / cites work @@
+Measuring the confinement of probabilistic systems
+Normal rank
@@ Property / cites work @@
+A program logic for resources
@@ Property / cites work: A program logic for resources / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic  -calculus and Quantitative Program Analysis
+Normal rank