Fixpoint theory -- upside down (Q2233395): Difference between revisions

@@ Property / cites work @@
+Q5278079
@@ Property / cites work: Q5278079 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5856412
@@ Property / cites work: Q5856412 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4683862
@@ Property / cites work: Q4683862 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5089290
@@ Property / cites work: Q5089290 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial structure and randomized subexponential algorithms for infinite games
+Normal rank
@@ Property / cites work @@
+Faster algorithms for mean-payoff games
@@ Property / cites work: Faster algorithms for mean-payoff games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037401
@@ Property / cites work: Q4037401 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287357
@@ Property / cites work: Q4287357 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of stochastic games
@@ Property / cites work: The complexity of stochastic games / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal abstract interpretation
@@ Property / cites work: Temporal abstract interpretation / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Game Metrics on Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+On Nonterminating Stochastic Games
@@ Property / cites work: On Nonterminating Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+Value iteration for simple stochastic games: stopping criterion and learning algorithm
+Normal rank
@@ Property / cites work @@
+Gromov-Wasserstein distances and the metric approach to object matching
+Normal rank
@@ Property / cites work @@
+A Geometric Approach to MV-Algebras
@@ Property / cites work: A Geometric Approach to MV-Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Advanced Łukasiewicz calculus and MV-algebras
@@ Property / cites work: Advanced Łukasiewicz calculus and MV-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Optimal Transport: With Applications to Data Science
+Normal rank
@@ Property / cites work @@
+Complete Lattices and Up-To Techniques
@@ Property / cites work: Complete Lattices and Up-To Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Bisimulation and Coinduction
@@ Property / cites work: Introduction to Bisimulation and Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+On strategy improvement algorithms for simple stochastic games
+Normal rank
@@ Property / cites work @@
+Optimal Transport
@@ Property / cites work: Optimal Transport / rank @@
+Normal rank