:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Ang, Kang Rong Roy
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	https://arxiv.org/abs/2508.00003
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Practical Modelling with Bigraphs
von: Archibald, Blair, et al.
Veröffentlicht: (2024)

Modelling Real-time Systems with Bigraphs
von: Albalwe, Maram, et al.
Veröffentlicht: (2025)

Introducing The Maximum Common Bigraph Problem
von: Burns, Kyle, et al.
Veröffentlicht: (2026)

There is a deep 1-generic set
von: Li, Ang
Veröffentlicht: (2024)

Speedability of computably approximable reals and their approximations
von: Barmpalias, George, et al.
Veröffentlicht: (2026)

Isabelle as Systems Platform: Managing Automated and Quasi-interactive Builds
von: Huch, Fabian
Veröffentlicht: (2024)

Common Knowledge, Sailboats, and Publicity
von: Bozdag, Sena, et al.
Veröffentlicht: (2025)

Termination of Graph Transformation Systems Using Weighted Subgraph Counting
von: Overbeek, Roy, et al.
Veröffentlicht: (2023)

Termination of Graph Transformation Systems via Generalized Weighted Type Graphs
von: Endrullis, Jörg, et al.
Veröffentlicht: (2023)

LLM2SMT: Building an SMT Solver with Zero Human-Written Code
von: Janota, Mikoláš, et al.
Veröffentlicht: (2026)

Learning Branching-Time Properties in CTL and ATL via Constraint Solving
von: Bordais, Benjamin, et al.
Veröffentlicht: (2024)

The Complexity of Learning Temporal Properties
von: Bordais, Benjamin, et al.
Veröffentlicht: (2024)

Compositional Inductive Invariant Inference via Assume-Guarantee Reasoning
von: Dardik, Ian, et al.
Veröffentlicht: (2025)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations
von: Blanc, Manon, et al.
Veröffentlicht: (2023)

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!
von: Gu, Rong
Veröffentlicht: (2024)

Complete $ω$-Regular Supermartingale Certificates
von: Abate, Alessandro, et al.
Veröffentlicht: (2026)

Explanations for Unrealizability of Infinite-State Safety Shields
von: Rodriguez, Andoni, et al.
Veröffentlicht: (2025)

An Architecture for Spatial Networking
von: Millar, Josh, et al.
Veröffentlicht: (2025)

Extracting efficient exact real number computation from proofs in constructive type theory
von: Konečný, Michal, et al.
Veröffentlicht: (2022)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
von: Livson, Ori, et al.
Veröffentlicht: (2025)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
von: Oda, Yukihiro
Veröffentlicht: (2025)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
von: Gaßner, Christine
Veröffentlicht: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
von: Artale, Alessandro, et al.
Veröffentlicht: (2025)

Proof-theoretic Semantics for Second-order Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
von: Hansen, Helle Hvid, et al.
Veröffentlicht: (2025)

Proof-Theoretic Functional Completeness for the Connexive Logic C
von: Ayhan, Sara, et al.
Veröffentlicht: (2025)

On semantics of first-order justification logic with binding modalities
von: Yavorskaya, Tatiana, et al.
Veröffentlicht: (2025)

Basis-Sensitive Quantum Typing via Realisability
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2025)

An abstract fixed-point theorem for Horn formula equations
von: Hetzl, Stefan, et al.
Veröffentlicht: (2025)

Terminating Hybrid Tableaus for Ordered Models
von: Nishimura, Yuki
Veröffentlicht: (2025)

Skolemization In Intermediate Logics
von: Baaz, Matthias, et al.
Veröffentlicht: (2025)

Shininess, strong politeness, and unicorns
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2025)

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

Quantum modal logic
von: Tokuo, Kenji
Veröffentlicht: (2025)

Simple Classes of Automatic Structures
von: Blumensath, Achim
Veröffentlicht: (2025)

Constructive Ordinal Exponentiation
von: de Jong, Tom, et al.
Veröffentlicht: (2025)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

Prime Factorization in Models of PV$_1$
von: Ježil, Ondřej
Veröffentlicht: (2025)

Intuitionistic monotone modal logic via translation
von: de Groot, Jim
Veröffentlicht: (2025)