:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autore principale:	Laboska, Gabriela
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic
Accesso online:	https://arxiv.org/abs/2504.09235
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Algebraic Reasoning over Relational Structures
di: Jurka, Jan, et al.
Pubblicazione: (2024)

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

Regular expressions over countable words
di: Colcombet, Thomas, et al.
Pubblicazione: (2025)

Algebraic Characterizations of Classes of Regular Languages in DynFO
di: Barloy, Corentin, et al.
Pubblicazione: (2026)

Partition theorems for expanded trees
di: Shelah, Saharon
Pubblicazione: (2021)

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

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

Algebraic proof theory for LE-logics
di: Greco, Giuseppe, et al.
Pubblicazione: (2018)

Partitioning the real line into Borel sets
di: Brian, Will
Pubblicazione: (2021)

Partition genericity and pigeonhole basis theorems
di: Monin, Benoit, et al.
Pubblicazione: (2022)

Partitions of Baire space into compact sets
di: Fischer, Vera, et al.
Pubblicazione: (2023)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
di: Kaye, George
Pubblicazione: (2025)

Continuous Algebra: Algebraic Semantics for Continuous Propositional Logic
di: Jana, Purbita, et al.
Pubblicazione: (2025)

Algebraic characterisation of pseudo-elementary and second-order classes
di: Ivanyos, János Balázs
Pubblicazione: (2026)

Lowerbounds for Bisimulation by Partition Refinement
di: Groote, Jan Friso, et al.
Pubblicazione: (2022)

Semi-Algebraic Proof Systems for QBF
di: Beyersdorff, Olaf, et al.
Pubblicazione: (2025)

Relational Algebraic Approach to the Real Numbers: The Least-Upper-Bound Property
di: Winter, Michael
Pubblicazione: (2023)

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

Univalent Foundations of Constructive Algebraic Geometry
di: Zeuner, Max
Pubblicazione: (2024)

Algebraic Semantics for the Logic of Proofs
di: Parsa, Amir Farahmand, et al.
Pubblicazione: (2021)

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

Effective Versions of Strong Measure Zero
di: Rayman, Matthew
Pubblicazione: (2025)

Regular non-normal modal classicalities
di: Freire, Alfredo Roque, et al.
Pubblicazione: (2026)

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

Two-Variable Logic for Hierarchically Partitioned and Ordered Data
di: Fiuk, Oskar, et al.
Pubblicazione: (2025)

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

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

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

Counting Theorems for Algebraic Relations
di: Binyamini, Gal, et al.
Pubblicazione: (2026)

Effective Disjunction and Effective Interpolation in Suffciently Strong Proof Systems
di: Maxa, Martin
Pubblicazione: (2026)

Simple Classes of Automatic Structures
di: Blumensath, Achim
Pubblicazione: (2025)

Learning Families of Algebraic Structures from Text
di: Bazhenov, Nikolay, et al.
Pubblicazione: (2024)

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

On the Multicategorical Meta-Theorem and the Completeness of Restricted Algebraic Deduction Systems
di: Forsman, David
Pubblicazione: (2024)

Generalized Effective Reducibility
di: Carl, Merlin
Pubblicazione: (2016)

Regular Typed Unification
di: Barbosa, João, et al.
Pubblicazione: (2024)

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
di: Koul, Prajval, et al.
Pubblicazione: (2025)

Path Types in Algebraic Type Theory
di: Awodey, Steve, et al.
Pubblicazione: (2026)

Partitions of $\mathbb{R}^3$ into unit circles with no well-ordering of the reals
di: Fatalini, Azul
Pubblicazione: (2025)

A Generalized Algebraic Theory for Type Theory with Explicit Universe Polymorphism
di: Bezem, Marc, et al.
Pubblicazione: (2026)