Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form
No abstract available.
Related papers
- Fixpoint games on continuous lattices POPL 2019
- Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games TACAS 2026
- Quasipolynomial Computation of Nested Fixpoints TACAS 2021
- Metis: A Compositional DSL for Board Games and Game Tree Search GPCE 2026
- Solving systems of rational equations through strategy iteration TOPLAS 2011
- Contextual equivalence for inductive definitions with binders in higher order typed functional programming JFP 2013
- Towards a unified proof framework for automated fixpoint reasoning using matching logic OOPSLA 2020
- A constraint-based approach to solving games on infinite graphs POPL 2014