Image de couverture de livre

Fixpoint Theory -- Upside Down

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Baldan, Paolo, Eggert, Richard, König, Barbara, Padoan, Tommaso
Format:	Preprint
Publié:	2021
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Monoidal View on Fixpoint Checks
par: Baldan, Paolo, et autres
Publié: (2023)

Approximating Fixpoints of Approximated Functions
par: Baldan, Paolo, et autres
Publié: (2025)

Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games
par: Baldan, Paolo, et autres
Publié: (2026)

Witnesses for Fixpoint Games on Lattices
par: König, Barbara, et autres
Publié: (2026)

Coalgebraic Behavioral Metrics
par: Baldan, Paolo, et autres
Publié: (2017)

A Category-Theoretic Perspective on Approximation Fixpoint Theory
par: Pollaci, Samuele
Publié: (2025)

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory
par: Pollaci, Samuele, et autres
Publié: (2024)

Approximation Fixpoint Theory with Refined Approximation Spaces
par: Vanbesien, Linde, et autres
Publié: (2025)

Operations on Fixpoint Equation Systems
par: Neele, Thomas, et autres
Publié: (2023)

Regular Model Checking Upside-Down: An Invariant-Based Approach
par: Esparza, Javier, et autres
Publié: (2022)

A Categorical Approach to Coalgebraic Fixpoint Logic
par: Schoen, Ezra, et autres
Publié: (2024)

Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version)
par: Kettmann, Pascal, et autres
Publié: (2025)

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
par: Kettmann, Pascal, et autres
Publié: (2026)

Fixpoint Semantics for DatalogMTL with Negation
par: Pollaci, Samuele
Publié: (2026)

The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic
par: Jung, Jean Christoph, et autres
Publié: (2025)

Characterizing the Exponential-Space Hierarchy Via Partial Fixpoints
par: Bruse, Florian, et autres
Publié: (2025)

Faster Game Solving by Fixpoint Acceleration
par: Hausmann, Daniel
Publié: (2024)

Model Checking as Program Verification by Abstract Interpretation (Extended Version)
par: Baldan, Paolo, et autres
Publié: (2025)

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
par: Kojima, Ryota, et autres
Publié: (2025)

Modal Separability of Fixpoint Formulae
par: Jung, Jean Christoph, et autres
Publié: (2024)

Left-Linear Rewriting in Adhesive Categories
par: Baldan, Paolo, et autres
Publié: (2024)

Fixpoint constructions in focused orthogonality models of linear logic
par: Fiore, Marcelo, et autres
Publié: (2023)

A Program Logic for Abstract (Hyper)Properties
par: Baldan, Paolo, et autres
Publié: (2026)

Rings and Boolean Algebras as Algebraic Theories
par: De Faveri, Arturo
Publié: (2025)

Primitive Recursive Dependent Type Theory
par: Buchholtz, Ulrik, et autres
Publié: (2024)

Fixed Point Theorems in Computability Theory
par: Terwijn, Sebastiaan A.
Publié: (2024)

The Pebble-Relation Comonad in Finite Model Theory
par: Montacute, Yoàv, et autres
Publié: (2021)

Characterizing Sets of Theories That Can Be Disjointly Combined
par: Przybocki, Benjamin, et autres
Publié: (2025)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
par: Hermes, Marc, et autres
Publié: (2023)

On Top-Down Pseudo-Boolean Model Counting
par: Yang, Suwei, et autres
Publié: (2025)

Proof Theory and Decision Procedures for Deontic STIT Logics
par: Lyon, Tim S., et autres
Publié: (2024)

Non-Derivability Results in Polymorphic Dependent Type Theory
par: Geuvers, Herman
Publié: (2026)

Universal Proof Theory, TACL 2022 Lecture Notes
par: Iemhoff, Rosalie, et autres
Publié: (2023)

A Naive Encoding of Russell's Paradox in Type Theory
par: Qu, Zhuoyuan
Publié: (2025)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2018)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
par: Gratzer, Daniel, et autres
Publié: (2024)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2018)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
par: Indrzejczak, Andrzej, et autres
Publié: (2024)

A topological reading of inductive and coinductive definitions in Dependent Type Theory
par: Sabelli, Pietro
Publié: (2024)

Meta-Mathematics of Computational Complexity Theory
par: Oliveira, Igor C.
Publié: (2025)