:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Pavlovic, Dusko, Seidel, Peter-Michael
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Cryptography and Security Computers and Society Information Theory Social and Information Networks Logic 03-01, 03C65, 68M25 D.4.6; F.4.1; F.4.3; G.0; H.1; K.4.2; K.6.5
Online-Zugang:	https://arxiv.org/abs/2504.16617
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Logic in Mathematics and Computer Science
von: Zach, Richard
Veröffentlicht: (2024)

The Need for Standardized Evidence Sampling in CMMC Assessments: A Survey-Based Analysis of Assessor Practices
von: Therrien, Logan, et al.
Veröffentlicht: (2026)

Structural focalization
von: Simmons, Robert J.
Veröffentlicht: (2011)

A logical framework for data-driven reasoning
von: Baldi, Paolo, et al.
Veröffentlicht: (2024)

Univalent Material Set Theory
von: Gylterud, Håkon Robbestad, et al.
Veröffentlicht: (2023)

Gödel Mirror: A Formal System For Contradiction-Driven Recursion
von: Chan, Jhet
Veröffentlicht: (2025)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
von: Gylterud, Håkon Robbestad, et al.
Veröffentlicht: (2020)

How Does Environmental Information Disclosure Affect Corporate Environmental Performance? Evidence from Chinese A-Share Listed Companies
von: Lin, Zehao
Veröffentlicht: (2025)

Universal Gluing and Contextual Choice: Categorical Logic and the Foundations of Analytic Approximation
von: Santacana, Andreu Ballus
Veröffentlicht: (2025)

KYA: A Framework-Agnostic Trust Layer for Autonomous Systems with Verifiable Provenance and Hierarchical Policy Composition
von: Quadri, Kolawole
Veröffentlicht: (2026)

Agent Interpolation for Knowledge
von: Bílková, Marta, et al.
Veröffentlicht: (2025)

Minoritised Ethnic People's Security and Privacy Concerns and Responses towards Essential Online Services
von: Quyoum, Aunam, et al.
Veröffentlicht: (2025)

Approximate Axiomatization for Differentially-Defined Functions
von: Platzer, André, et al.
Veröffentlicht: (2025)

Belief in Simplicial Complexes
von: Sink, Philip, et al.
Veröffentlicht: (2025)

A Note on Proper Relational Structures
von: Bjorndahl, Adam, et al.
Veröffentlicht: (2025)

Privacy in the Age of AI: A Taxonomy of Data Risks
von: Billiris, Grace, et al.
Veröffentlicht: (2025)

"We are currently clean on OPSEC": Why JD Can't Encrypt
von: Chiodo, Maurice, et al.
Veröffentlicht: (2026)

Stratifiable formulae are not context-free
von: Ryan-Smith, Calliope
Veröffentlicht: (2023)

A Tame Generic Structure with Non-Algebraic Geometric Closure
von: Jalili, Somaye, et al.
Veröffentlicht: (2020)

Conjunctive categorial grammars and Lambek grammars with additives
von: Kuznetsov, Stepan L., et al.
Veröffentlicht: (2024)

Fixed-Point Theorems and the Ethics of Radical Transparency: A Logic-First Treatment
von: Alpay, Faruk, et al.
Veröffentlicht: (2025)

Towards Socio-Technical Topology-Aware Adaptive Threat Detection in Software Supply Chains
von: Welsh, Thomas, et al.
Veröffentlicht: (2025)

The Hamiltonian Syllogistic
von: Pratt-Hartmann, Ian
Veröffentlicht: (2010)

Correlated-Sequence Differential Privacy
von: Luo, Yifan, et al.
Veröffentlicht: (2025)

A Systematic Review and Taxonomy for Privacy Breach Classification: Trends, Gaps, and Future Directions
von: Fuchs, Clint, et al.
Veröffentlicht: (2025)

A Unified Formal Theory on the Logical Limits of Symbol Grounding
von: Liu, Zhangchi
Veröffentlicht: (2025)

The Signalgate Case is Waiving a Red Flag to All Organizational and Behavioral Cybersecurity Leaders, Practitioners, and Researchers: Are We Receiving the Signal Amidst the Noise?
von: Lowry, Paul Benjamin, et al.
Veröffentlicht: (2025)

Glivenko's theorems from an ecumenical perspective
von: Pereira, Luiz Carlos, et al.
Veröffentlicht: (2026)

Support + Belief = Decision Trust
von: Aldini, Alessandro, et al.
Veröffentlicht: (2024)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
von: Lopez, Aliaume
Veröffentlicht: (2024)

Model Checking of vGOAL
von: Yang, Yi, et al.
Veröffentlicht: (2024)

A correspondence between the time and space complexity
von: Latkin, Ivan V.
Veröffentlicht: (2023)

Towards Multi-Stakeholder Vulnerability Notifications in the Ad-Tech Supply Chain
von: Vekaria, Yash, et al.
Veröffentlicht: (2024)

A vector logic for extensional formal semantics
von: Quigley, Daniel
Veröffentlicht: (2024)

Recursive windows for grammar logics of bounded density
von: Gasquet, Olivier
Veröffentlicht: (2025)

PSPACE-completeness of bimodal transitive weak-density logic
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

Proof Compression via Subatomic Logic and Guarded Substitutions
von: Barrett, Victoria, et al.
Veröffentlicht: (2025)

On algebraic and topological semantics of the modal logic of common knowledge S4CI
von: Shamkanov, Daniyar
Veröffentlicht: (2021)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
von: Rahnama, Moses
Veröffentlicht: (2025)

Openness And Partial Adjacency In One Variable TPTL
von: Krishna, Shankara Narayanan, et al.
Veröffentlicht: (2024)