Image de couverture de livre

Coalgebraic Path Constraints

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Schmid, Todd
Format:	Preprint
Publié:	2026
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 Coalgebraic Semantics for Intuitionistic Modal Logic
par: Almeida, Rodrigo Nicolau, et autres
Publié: (2024)

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

Trees in Coalgebra from Generalized Reachability
par: Wißmann, Thorsten, et autres
Publié: (2025)

Non-Expansive Fuzzy Coalgebraic Logic
par: Gebhart, Stefan, et autres
Publié: (2025)

Coalgebraic Non-Wellfounded Proofs: Recursiveness and GTC
par: Kori, Mayuko
Publié: (2026)

Well-Founded Coalgebras Meet König's Lemma
par: Urbat, Henning, et autres
Publié: (2025)

An Expressive Coalgebraic Modal Logic for Cellular Automata
par: Basold, Henning, et autres
Publié: (2025)

A No-go Theorem for Coalgebraic Product Construction
par: Kori, Mayuko, et autres
Publié: (2025)

Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
par: Fábregas, Ignacio, et autres
Publié: (2024)

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

A General Completeness Theorem for Skip-free Star Algebras
par: Kappé, Tobias, et autres
Publié: (2025)

From Coalgebraic Determinization to Belief Construction for Partial Observability
par: Kori, Mayuko, et autres
Publié: (2026)

A Framework for Coalgebraic Reward-Sensitive Bisimulation (Extended Version)
par: de Amorim, Pedro H. Azevedo, et autres
Publié: (2026)

Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach
par: Beohar, Harsh, et autres
Publié: (2023)

A Coalgebraic Model of Quantum Bisimulation
par: Ceragioli, Lorenzo, et autres
Publié: (2025)

Intrinsically Correct Algorithms and Recursive Coalgebras
par: Alexandru, Cass, et autres
Publié: (2025)

Terminal Coalgebras in Countably Many Steps
par: Adámek, Jiří, et autres
Publié: (2023)

Efficient Coalgebraic Partition Refinement
par: Dorsch, Ulrich, et autres
Publié: (2017)

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
par: Gallardo, Andrés, et autres
Publié: (2024)

A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
par: Kappé, Tobias, et autres
Publié: (2023)

Compositionality in Coalgebraic Trace Semantics
par: Jourde, Robin, et autres
Publié: (2026)

The Algebra of Iterative Constructions
par: Batz, Kevin, et autres
Publié: (2026)

Fractals from Regular Behaviours
par: Schmid, Todd, et autres
Publié: (2023)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
par: Pinsker, Michael, et autres
Publié: (2025)

Graded Monad Coalgebras for Continuous-Time Transition Systems
par: Di Lavore, Elena, et autres
Publié: (2026)

Unifying Semantic Path Order and Weighted Path Order
par: Saito, Teppei, et autres
Publié: (2026)

Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics
par: Ambridge, Todd Waugh
Publié: (2024)

$Π_{2}^{P}$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem
par: Zhuk, Dmitriy
Publié: (2024)

FO-Query Enumeration over SLP-Compressed Structures of Bounded Degree
par: Lohrey, Markus, et autres
Publié: (2025)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
par: Gylterud, Håkon Robbestad, et autres
Publié: (2020)

A Constraint Opinion Model
par: Gadducci, Fabio, et autres
Publié: (2025)

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
par: Hausmann, Daniel, et autres
Publié: (2022)

Computational Paths Form a Weak ω-Groupoid
par: Ramos, Arthur F., et autres
Publié: (2025)

Logic of Fuzzy Paths
par: Grover, Kush, et autres
Publié: (2026)

Constraint Learning for Non-confluent Proof Search
par: Rawson, Michael, et autres
Publié: (2026)

The 2-Dimensional Constraint Loop Problem is Decidable
par: Guilmant, Quentin, et autres
Publié: (2024)

The Power of Regular Constraint Propagation (Technical Report)
par: Hague, Matthew, et autres
Publié: (2025)

OSTRICH2: Solver for Complex String Constraints
par: Hague, Matthew, et autres
Publié: (2025)

Solving Set Constraints with Comprehensions and Bounded Quantifiers
par: Mohamed, Mudathir, et autres
Publié: (2025)

Strong Nominal Semantics for Fixed-Point Constraints
par: Caires-Santos, Ali K., et autres
Publié: (2024)