Skip to content
<title>Channels - Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials
Search for more channels:
Similar Items: Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials
Channel Options
View Record
Explore related channels
Quick Look
State of Büchi Complementation
Quick Look
Coalgebras for Bisimulation of Weighted Automata over Semirings
Quick Look
Feasability of Learning Weighted Automata on a Semiring
Quick Look
Unifying Büchi Complementation Constructions
Quick Look
Büchi Complementation and Size-Change Termination
Quick Look
The logical strength of Büchi's decidability theorem
Quick Look
A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
Quick Look
Half-Positional Objectives Recognized by Deterministic Büchi Automata
Quick Look
From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata
Quick Look
Tight Polynomial Bounds for Loop Programs in Polynomial Space
Quick Look
Polynomial Size Analysis of First-Order Shapely Functions
Quick Look
Polynomial Path Orders
Quick Look
On absorption in semigroups and $n$-ary semigroups
Quick Look
Games and Strategies as Event Structures
Quick Look
On Multiplicatively Idempotent Semirings with Additional Conditions
Quick Look
Polygraphic programs and polynomial-time functions
Quick Look
Algebra, coalgebra, and minimization in polynomial differential equations
Quick Look
Capturing Polynomial Time using Modular Decomposition
Quick Look
Decidability of extensions of Presburger arithmetic by generalised polynomials
Quick Look
A Linear Category of Polynomial Functors (extensional part)
Quick Look
A Fragment of Dependence Logic Capturing Polynomial Time
Quick Look
Tight Polynomial Worst-Case Bounds for Loop Programs
Quick Look
Novel Wideband Microstrip Absorptive Bandstop Filter Utilizing Coupled-Line Architecture
Quick Look
Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited
Load more items
View Record
Prev
Explore related channels
Next
