Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials
- 17 September 2021
- journal article
- Published by Open Publishing Association in Electronic Proceedings in Theoretical Computer Science
- Vol. 346, 67-82
- https://doi.org/10.4204/eptcs.346.5
Abstract
No abstract availableThis publication has 18 references indexed in Scilit:
- The Semiring Framework for Database ProvenancePublished by Association for Computing Machinery (ACM) ,2017
- Defining Winning Strategies in Fixed-Point LogicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2015
- Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component DecompositionJournal of the ACM, 2014
- On database query languages for K-relationsJournal of Applied Logic, 2010
- Provenance semiringsPublished by Association for Computing Machinery (ACM) ,2007
- Finite Model Theory and Its ApplicationsPublished by Springer Science and Business Media LLC ,2007
- Positive Games and Persistent StrategiesLecture Notes in Computer Science, 2003
- Automata Logics, and Infinite GamesPublished by Springer Science and Business Media LLC ,2002
- Optimal Complexity Bounds for Positive LTL GamesLecture Notes in Computer Science, 2002
- Monadic second-order logic on tree-like structuresTheoretical Computer Science, 2002