Copertina

Algebraic Reasoning over Relational Structures

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Jurka, Jan, Milius, Stefan, Urbat, Henning
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A Unified Treatment of Substitution for Presheaves, Nominal Sets, Renaming Sets, and so on
di: Lenke, Fabian, et al.
Pubblicazione: (2026)

Bialgebraic Reasoning on Higher-Order Program Equivalence
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)

Bialgebraic Reasoning on Stateful Languages
di: Goncharov, Sergey, et al.
Pubblicazione: (2025)

Demystifying Codensity Monads via Duality
di: Lenke, Fabian, et al.
Pubblicazione: (2025)

Higher-order bialgebraic semantics
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)

Towards a Higher-Order Mathematical Operational Semantics
di: Goncharov, Sergey, et al.
Pubblicazione: (2022)

Well-Founded Coalgebras Meet König's Lemma
di: Urbat, Henning, et al.
Pubblicazione: (2025)

Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
di: Wißmann, Thorsten, et al.
Pubblicazione: (2024)

Abstract Operational Methods for Call-by-Push-Value
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)

Intrinsically Correct Algorithms and Recursive Coalgebras
di: Alexandru, Cass, et al.
Pubblicazione: (2025)

Terminal Coalgebras in Countably Many Steps
di: Adámek, Jiří, et al.
Pubblicazione: (2023)

Graded Monads and Behavioural Equivalence Games
di: Ford, Chase, et al.
Pubblicazione: (2022)

The Algebra of Iterative Constructions
di: Batz, Kevin, et al.
Pubblicazione: (2026)

Logical Predicates in Higher-Order Mathematical Operational Semantics
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)

Towards a Higher-Order Bialgebraic Denotational Semantics
di: Goncharov, Sergey, et al.
Pubblicazione: (2026)

Efficient Coalgebraic Partition Refinement
di: Dorsch, Ulrich, et al.
Pubblicazione: (2017)

Enriching Diagrams with Algebraic Operations
di: Villoria, Alejandro, et al.
Pubblicazione: (2023)

Rings and Boolean Algebras as Algebraic Theories
di: De Faveri, Arturo
Pubblicazione: (2025)

Completeness of Relational Algebra via Cylindric Algebra
di: Laštovička, Jan
Pubblicazione: (2026)

Compositionality in Coalgebraic Trace Semantics
di: Jourde, Robin, et al.
Pubblicazione: (2026)

Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic (Technical Report)
di: Habermehl, Peter, et al.
Pubblicazione: (2024)

Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
di: Katsura, Hiroyuki, et al.
Pubblicazione: (2025)

Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants
di: Gilda, Sankalp, et al.
Pubblicazione: (2026)

Applications of Quantified Constraint Solving over the Reals -- Bibliography
di: Ratschan, Stefan
Pubblicazione: (2012)

Nominal Topology for Data Languages
di: Birkmann, Fabian, et al.
Pubblicazione: (2023)

Algebraic Structure of Quantum Controlled States and Operators
di: Agnew, Edwin, et al.
Pubblicazione: (2026)

Pebble Games and Algebraic Proof Systems
di: Jaser, Lisa-Marie, et al.
Pubblicazione: (2025)

Semantic Foundations of Reductive Reasoning
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2024)

Algebraic Language Theory with Effects
di: Lenke, Fabian, et al.
Pubblicazione: (2024)

On matrix rank function over bounded arithmetics
di: Ken, Eitetsu, et al.
Pubblicazione: (2023)

Deontic Action Logics: A Modular Algebraic Perspective
di: Areces, Carlos, et al.
Pubblicazione: (2025)

A Deductive Refinement Calculus for Differential-Algebraic Programs
di: Hellwig, Jonathan, et al.
Pubblicazione: (2026)

Modal Logic for Reasoning About Uncertainty and Confusion
di: Bílková, Marta, et al.
Pubblicazione: (2025)

Reasoning under uncertainty in the game of Cops and Robbers
di: Li, Dazhu, et al.
Pubblicazione: (2025)

The Pebble-Relation Comonad in Finite Model Theory
di: Montacute, Yoàv, et al.
Pubblicazione: (2021)

Relational semantics for flat Heyting-Lewis Logic
di: de Groot, Jim, et al.
Pubblicazione: (2026)

A General (Uniform) Relational Semantics for Sentential Logics
di: Hartonas, Chrysafis
Pubblicazione: (2025)

Algebraic and algorithmic synergies between promise and infinite-domain CSPs
di: Mottet, Antoine
Pubblicazione: (2025)

On the Completeness of Interpolation Algorithms
di: Hetzl, Stefan, et al.
Pubblicazione: (2024)

An abstract fixed-point theorem for Horn formula equations
di: Hetzl, Stefan, et al.
Pubblicazione: (2025)