:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Duchamp, Gérard Henry Edmond, Tollu, Christophe, Luque, Jean-Gabriel, Dinh, Vu Nguyen
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science
Accès en ligne:	https://arxiv.org/abs/2405.01092
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Elementary methods for splitting representations of Rook monoids: a gentle introduction to groupoids
par: Duchamp, Gérard Henry Edmond, et autres
Publié: (2024)

Modal Logic for Reasoning About Uncertainty and Confusion
par: Bílková, Marta, et autres
Publié: (2025)

Proofs that Modify Proofs, 1/2
par: Towsner, Henry
Publié: (2025)

Difference-restriction algebras with operators
par: Borlido, Célia, et autres
Publié: (2025)

Convex algebras on an interval with semicontinuous monotone operations
par: Sokolova, Ana, et autres
Publié: (2026)

Nelson algebras, residuated lattices and rough sets: A survey
par: Järvinen, Jouni, et autres
Publié: (2024)

A concrete model for a typed linear algebraic lambda calculus
par: Díaz-Caro, Alejandro, et autres
Publié: (2018)

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

Games with $ω$-Automatic Preference Relations
par: Bruyère, Véronique, et autres
Publié: (2025)

Verifying DNN-based Semantic Communication Against Generative Adversarial Noise
par: Le, Thanh, et autres
Publié: (2026)

About the Expressive Power and Complexity of Order-Invariance with Two Variables
par: Bednarczyk, Bartosz, et autres
Publié: (2023)

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
par: Kozhemiachenko, Daniil, et autres
Publié: (2026)

Local structure of idempotent algebras I
par: Bulatov, Andrei A.
Publié: (2020)

An algebra modality admitting countably many deriving transformations
par: Vienney, Jean-Baptiste
Publié: (2025)

Reasoning About Group Polarization: From Semantic Games to Sequent Systems
par: Freiman, Robert, et autres
Publié: (2024)

Observation algebras: Heyting algebra over coherence spaces
par: Brunet, Paul
Publié: (2025)

About the Multi-Head Linear Restricted Chase Termination
par: Gerlach, Lukas, et autres
Publié: (2025)

Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications
par: Barbosa, Haniel, et autres
Publié: (2025)

A DPLL(T) Framework for Verifying Deep Neural Networks
par: Duong, Hai, et autres
Publié: (2023)

Kleene algebra with commutativity conditions is undecidable
par: de Amorim, Arthur Azevedo, et autres
Publié: (2024)

Duality theory and representations for distributive quasi relation algebras and DInFL-algebras
par: Craig, Andrew, et autres
Publié: (2025)

Home Spaces and Invariants to Analyze Parameterized Petri Nets
par: Memmi, Gerard
Publié: (2024)

Reasoning About Exceptional Behavior At the Level of Java Bytecode
par: Paganoni, Marco, et autres
Publié: (2024)

Preservation theorems for Tarski's relation algebra
par: Bogaerts, Bart, et autres
Publié: (2023)

Proof Scores: A Survey (full version)
par: Riesco, Adrian, et autres
Publié: (2025)

Contractions of quasi relation algebras and applications to representability
par: Craig, Andrew, et autres
Publié: (2026)

Cyclic system for an algebraic theory of alternating parity automata
par: Das, Anupam, et autres
Publié: (2025)

Complete Local Reasoning About Parameterized Programs Over Topologies
par: Cheng, Ruotong, et autres
Publié: (2026)

Compressing ACAS-Xu Lookup Tables with Binary Decision Diagrams
par: Boniol, Martin, et autres
Publié: (2026)

On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming
par: Vašíček, Ondřej, et autres
Publié: (2026)

Tree algebras and bisimulation-invariant MSO on finite graphs
par: Colcombet, Thomas, et autres
Publié: (2024)

An algebraic theory of ω-regular languages, via μν-expressions
par: Das, Anupam, et autres
Publié: (2025)

Runtime Verification of Interactions Using Automata
par: Weil-Kennedy, Chana, et autres
Publié: (2025)

Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
par: Hofmann, Till, et autres
Publié: (2024)

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
par: Dowek, Gilles, et autres
Publié: (2023)

The sorrows of a smooth digraph: the first hardness criterion for infinite directed graph-colouring problems
par: Brunar, Johanna, et autres
Publié: (2025)

WebPie: A Tiny Slice of Dependent Typing
par: Scholliers, Christophe
Publié: (2024)

Reasoning About Knowledge on Regular Expressions is 2EXPTIME-complete
par: Ghosh, Avijeet, et autres
Publié: (2025)

Local structure of idempotent algebras II
par: Bulatov, Andrei A.
Publié: (2020)

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