Copertina

A Monoidal View on Fixpoint Checks

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Baldan, Paolo, Eggert, Richard, König, Barbara, Matt, Timo, Padoan, Tommaso
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Fixpoint Theory -- Upside Down
di: Baldan, Paolo, et al.
Pubblicazione: (2021)

Approximating Fixpoints of Approximated Functions
di: Baldan, Paolo, et al.
Pubblicazione: (2025)

Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games
di: Baldan, Paolo, et al.
Pubblicazione: (2026)

Witnesses for Fixpoint Games on Lattices
di: König, Barbara, et al.
Pubblicazione: (2026)

Model Checking as Program Verification by Abstract Interpretation (Extended Version)
di: Baldan, Paolo, et al.
Pubblicazione: (2025)

Coalgebraic Behavioral Metrics
di: Baldan, Paolo, et al.
Pubblicazione: (2017)

Operations on Fixpoint Equation Systems
di: Neele, Thomas, et al.
Pubblicazione: (2023)

A Categorical Approach to Coalgebraic Fixpoint Logic
di: Schoen, Ezra, et al.
Pubblicazione: (2024)

A Category-Theoretic Perspective on Approximation Fixpoint Theory
di: Pollaci, Samuele
Pubblicazione: (2025)

Fixpoint Semantics for DatalogMTL with Negation
di: Pollaci, Samuele
Pubblicazione: (2026)

The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic
di: Jung, Jean Christoph, et al.
Pubblicazione: (2025)

Characterizing the Exponential-Space Hierarchy Via Partial Fixpoints
di: Bruse, Florian, et al.
Pubblicazione: (2025)

Faster Game Solving by Fixpoint Acceleration
di: Hausmann, Daniel
Pubblicazione: (2024)

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory
di: Pollaci, Samuele, et al.
Pubblicazione: (2024)

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
di: Kojima, Ryota, et al.
Pubblicazione: (2025)

Modal Separability of Fixpoint Formulae
di: Jung, Jean Christoph, et al.
Pubblicazione: (2024)

Approximation Fixpoint Theory with Refined Approximation Spaces
di: Vanbesien, Linde, et al.
Pubblicazione: (2025)

Left-Linear Rewriting in Adhesive Categories
di: Baldan, Paolo, et al.
Pubblicazione: (2024)

A Program Logic for Abstract (Hyper)Properties
di: Baldan, Paolo, et al.
Pubblicazione: (2026)

Fixpoint constructions in focused orthogonality models of linear logic
di: Fiore, Marcelo, et al.
Pubblicazione: (2023)

Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version)
di: Kettmann, Pascal, et al.
Pubblicazione: (2025)

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
di: Kettmann, Pascal, et al.
Pubblicazione: (2026)

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions
di: Stoltenow, Lara, et al.
Pubblicazione: (2024)

String Diagrams for Monoidal Categories, in Rocq
di: Pous, Damien
Pubblicazione: (2026)

Monoidal Width
di: Di Lavore, Elena, et al.
Pubblicazione: (2022)

Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
di: Milosavljevic, Aleksandar, et al.
Pubblicazione: (2022)

Tape Diagrams for Monoidal Monads
di: Bonchi, Filippo, et al.
Pubblicazione: (2025)

Coinductive Streams in Monoidal Categories
di: Di Lavore, Elena, et al.
Pubblicazione: (2022)

Monoid Structures on Indexed Containers
di: De Pascalis, Michele, et al.
Pubblicazione: (2025)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
di: Grilletti, Gianluca, et al.
Pubblicazione: (2024)

Base-extension Semantics for Modal Logic
di: Eckhardt, Timo, et al.
Pubblicazione: (2024)

Monoidal categories graded by partial commutative monoids
di: Earnshaw, Matthew, et al.
Pubblicazione: (2026)

String Diagrams for Closed Symmetric Monoidal Categories
di: Reader, Callum, et al.
Pubblicazione: (2025)

Symmetric Monoidal Smash Products in Homotopy Type Theory
di: Ljungström, Axel
Pubblicazione: (2024)

Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs
di: Tiurin, Aleksei, et al.
Pubblicazione: (2024)

Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams
di: Lobbia, Gabriele, et al.
Pubblicazione: (2024)

Distributional Probabilistic Model Checking
di: Elsayed-Aly, Ingy, et al.
Pubblicazione: (2023)

Monoidal weak omega-categories as models of a type theory
di: Benjamin, Thibaut
Pubblicazione: (2021)

Program Logics via Distributive Monoidal Categories
di: Bonchi, Filippo, et al.
Pubblicazione: (2025)

Probabilistic Model Checking: Applications and Trends
di: Kwiatkowska, Marta, et al.
Pubblicazione: (2025)