Pages that link to "Item:Q2211257"
From MaRDI portal
The following pages link to Provenance analysis for logic and games (Q2211257):
Displaying 5 items.
- Computing least and greatest fixed points in absorptive semirings (Q2695365) (← links)
- Semiring Provenance for Guarded Logics (Q5015965) (← links)
- Semiring provenance for Büchi games: strategy analysis with absorptive polynomials (Q6563045) (← links)
- Zero-one laws and almost sure valuations of first-order logic in semiring semantics (Q6649475) (← links)
- Semiring provenance for Büchi games: strategy analysis with absorptive polynomials (Q6649515) (← links)