:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Duchamp, Gérard Henry Edmond, Tollu, Christophe, Luque, Jean-Gabriel, Dinh, Vu Nguyen
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science
Online-Zugang:	https://arxiv.org/abs/2405.01092
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Modal Logic for Reasoning About Uncertainty and Confusion
von: Bílková, Marta, et al.
Veröffentlicht: (2025)

Proofs that Modify Proofs, 1/2
von: Towsner, Henry
Veröffentlicht: (2025)

Difference-restriction algebras with operators
von: Borlido, Célia, et al.
Veröffentlicht: (2025)

Convex algebras on an interval with semicontinuous monotone operations
von: Sokolova, Ana, et al.
Veröffentlicht: (2026)

Nelson algebras, residuated lattices and rough sets: A survey
von: Järvinen, Jouni, et al.
Veröffentlicht: (2024)

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

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
von: Alvarez, David Quinn
Veröffentlicht: (2025)

Games with $ω$-Automatic Preference Relations
von: Bruyère, Véronique, et al.
Veröffentlicht: (2025)

Verifying DNN-based Semantic Communication Against Generative Adversarial Noise
von: Le, Thanh, et al.
Veröffentlicht: (2026)

About the Expressive Power and Complexity of Order-Invariance with Two Variables
von: Bednarczyk, Bartosz, et al.
Veröffentlicht: (2023)

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
von: Kozhemiachenko, Daniil, et al.
Veröffentlicht: (2026)

Local structure of idempotent algebras I
von: Bulatov, Andrei A.
Veröffentlicht: (2020)

An algebra modality admitting countably many deriving transformations
von: Vienney, Jean-Baptiste
Veröffentlicht: (2025)

Reasoning About Group Polarization: From Semantic Games to Sequent Systems
von: Freiman, Robert, et al.
Veröffentlicht: (2024)

Observation algebras: Heyting algebra over coherence spaces
von: Brunet, Paul
Veröffentlicht: (2025)

About the Multi-Head Linear Restricted Chase Termination
von: Gerlach, Lukas, et al.
Veröffentlicht: (2025)

Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications
von: Barbosa, Haniel, et al.
Veröffentlicht: (2025)

A DPLL(T) Framework for Verifying Deep Neural Networks
von: Duong, Hai, et al.
Veröffentlicht: (2023)

Kleene algebra with commutativity conditions is undecidable
von: de Amorim, Arthur Azevedo, et al.
Veröffentlicht: (2024)

Duality theory and representations for distributive quasi relation algebras and DInFL-algebras
von: Craig, Andrew, et al.
Veröffentlicht: (2025)

Home Spaces and Invariants to Analyze Parameterized Petri Nets
von: Memmi, Gerard
Veröffentlicht: (2024)

Reasoning About Exceptional Behavior At the Level of Java Bytecode
von: Paganoni, Marco, et al.
Veröffentlicht: (2024)

Preservation theorems for Tarski's relation algebra
von: Bogaerts, Bart, et al.
Veröffentlicht: (2023)

Proof Scores: A Survey (full version)
von: Riesco, Adrian, et al.
Veröffentlicht: (2025)

Contractions of quasi relation algebras and applications to representability
von: Craig, Andrew, et al.
Veröffentlicht: (2026)

Cyclic system for an algebraic theory of alternating parity automata
von: Das, Anupam, et al.
Veröffentlicht: (2025)

Complete Local Reasoning About Parameterized Programs Over Topologies
von: Cheng, Ruotong, et al.
Veröffentlicht: (2026)

Compressing ACAS-Xu Lookup Tables with Binary Decision Diagrams
von: Boniol, Martin, et al.
Veröffentlicht: (2026)

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

Tree algebras and bisimulation-invariant MSO on finite graphs
von: Colcombet, Thomas, et al.
Veröffentlicht: (2024)

An algebraic theory of ω-regular languages, via μν-expressions
von: Das, Anupam, et al.
Veröffentlicht: (2025)

Runtime Verification of Interactions Using Automata
von: Weil-Kennedy, Chana, et al.
Veröffentlicht: (2025)

Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
von: Hofmann, Till, et al.
Veröffentlicht: (2024)

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
von: Dowek, Gilles, et al.
Veröffentlicht: (2023)

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

WebPie: A Tiny Slice of Dependent Typing
von: Scholliers, Christophe
Veröffentlicht: (2024)

Reasoning About Knowledge on Regular Expressions is 2EXPTIME-complete
von: Ghosh, Avijeet, et al.
Veröffentlicht: (2025)

Local structure of idempotent algebras II
von: Bulatov, Andrei A.
Veröffentlicht: (2020)

Monotone weak distributive laws over the lifted powerset monad in categories of algebras
von: Aristote, Quentin
Veröffentlicht: (2025)