Imagen de Portada

About enveloping algebras of direct sums

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Duchamp, Gérard Henry Edmond, Tollu, Christophe, Luque, Jean-Gabriel, Dinh, Vu Nguyen
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Elementary methods for splitting representations of Rook monoids: a gentle introduction to groupoids
por: Duchamp, Gérard Henry Edmond, et al.
Publicado: (2024)

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

Difference-restriction algebras with operators
por: Borlido, Célia, et al.
Publicado: (2025)

Proofs that Modify Proofs, 1/2
por: Towsner, Henry
Publicado: (2025)

Convex algebras on an interval with semicontinuous monotone operations
por: Sokolova, Ana, et al.
Publicado: (2026)

Nelson algebras, residuated lattices and rough sets: A survey
por: Järvinen, Jouni, et al.
Publicado: (2024)

A concrete model for a typed linear algebraic lambda calculus
por: Díaz-Caro, Alejandro, et al.
Publicado: (2018)

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
por: Alvarez, David Quinn
Publicado: (2025)

About the Expressive Power and Complexity of Order-Invariance with Two Variables
por: Bednarczyk, Bartosz, et al.
Publicado: (2023)

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
por: Kozhemiachenko, Daniil, et al.
Publicado: (2026)

Reasoning About Group Polarization: From Semantic Games to Sequent Systems
por: Freiman, Robert, et al.
Publicado: (2024)

Local structure of idempotent algebras I
por: Bulatov, Andrei A.
Publicado: (2020)

Observation algebras: Heyting algebra over coherence spaces
por: Brunet, Paul
Publicado: (2025)

Games with $ω$-Automatic Preference Relations
por: Bruyère, Véronique, et al.
Publicado: (2025)

An algebra modality admitting countably many deriving transformations
por: Vienney, Jean-Baptiste
Publicado: (2025)

Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications
por: Barbosa, Haniel, et al.
Publicado: (2025)

Verifying DNN-based Semantic Communication Against Generative Adversarial Noise
por: Le, Thanh, et al.
Publicado: (2026)

About the Multi-Head Linear Restricted Chase Termination
por: Gerlach, Lukas, et al.
Publicado: (2025)

Duality theory and representations for distributive quasi relation algebras and DInFL-algebras
por: Craig, Andrew, et al.
Publicado: (2025)

Preservation theorems for Tarski's relation algebra
por: Bogaerts, Bart, et al.
Publicado: (2023)

Contractions of quasi relation algebras and applications to representability
por: Craig, Andrew, et al.
Publicado: (2026)

Kleene algebra with commutativity conditions is undecidable
por: de Amorim, Arthur Azevedo, et al.
Publicado: (2024)

Home Spaces and Invariants to Analyze Parameterized Petri Nets
por: Memmi, Gerard
Publicado: (2024)

On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming
por: Vašíček, Ondřej, et al.
Publicado: (2026)

Tree algebras and bisimulation-invariant MSO on finite graphs
por: Colcombet, Thomas, et al.
Publicado: (2024)

A DPLL(T) Framework for Verifying Deep Neural Networks
por: Duong, Hai, et al.
Publicado: (2023)

Proof Scores: A Survey (full version)
por: Riesco, Adrian, et al.
Publicado: (2025)

Reasoning About Exceptional Behavior At the Level of Java Bytecode
por: Paganoni, Marco, et al.
Publicado: (2024)

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
por: Dowek, Gilles, et al.
Publicado: (2023)

The sorrows of a smooth digraph: the first hardness criterion for infinite directed graph-colouring problems
por: Brunar, Johanna, et al.
Publicado: (2025)

Runtime Verification of Interactions Using Automata
por: Weil-Kennedy, Chana, et al.
Publicado: (2025)

Complete Local Reasoning About Parameterized Programs Over Topologies
por: Cheng, Ruotong, et al.
Publicado: (2026)

Monotone weak distributive laws over the lifted powerset monad in categories of algebras
por: Aristote, Quentin
Publicado: (2025)

Cyclic system for an algebraic theory of alternating parity automata
por: Das, Anupam, et al.
Publicado: (2025)

Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
por: Hofmann, Till, et al.
Publicado: (2024)

An algebraic theory of ω-regular languages, via μν-expressions
por: Das, Anupam, et al.
Publicado: (2025)

Local structure of idempotent algebras II
por: Bulatov, Andrei A.
Publicado: (2020)

Compressing ACAS-Xu Lookup Tables with Binary Decision Diagrams
por: Boniol, Martin, et al.
Publicado: (2026)

Sequent Calculi for Data-Aware Modal Logics
por: Areces, Carlos, et al.
Publicado: (2025)

Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent
por: Bunch, Carter, et al.
Publicado: (2024)