Image de couverture de livre

Computing Witnesses Using the SCAN Algorithm (Extended Preprint)

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Achammer, Fabian, Hetzl, Stefan, Schmidt, Renate A.
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Computing Witnesses Using the SCAN Algorithm
par: Achammer, Fabian, et autres
Publié: (2026)

On the Completeness of Interpolation Algorithms
par: Hetzl, Stefan, et autres
Publié: (2024)

An abstract fixed-point theorem for Horn formula equations
par: Hetzl, Stefan, et autres
Publié: (2025)

Better Bounded Bisimulation Contractions (Preprint)
par: Bolander, Thomas, et autres
Publié: (2024)

Parallelism and Adaptivity in Student-Teacher Witnessing
par: Ježil, Ondřej, et autres
Publié: (2026)

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
par: Lichter, Moritz
Publié: (2022)

Subsystems of Open Induction
par: Hetzl, Stefan, et autres
Publié: (2025)

Witnesses for Fixpoint Games on Lattices
par: König, Barbara, et autres
Publié: (2026)

Constructing Witnesses for Lower Bounds on Behavioural Distances
par: Turkenburg, Ruben, et autres
Publié: (2025)

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes
par: Baier, Christel, et autres
Publié: (2024)

Extending Action Logic with Omega Iteration
par: Pshenitsyn, Tikhon
Publié: (2025)

Extended multi-adjoint logic programming
par: Cornejo, M. Eugenia, et autres
Publié: (2024)

Algorithmic Problems for Computation Trees
par: Moshkov, Mikhail
Publié: (2025)

Visualising CTL Witnesses and Counterexamples -- Extended Version
par: Rensink, Arend
Publié: (2026)

The SCAN Statistical Model Checker
par: Ghiorzi, Enrico, et autres
Publié: (2026)

Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes
par: Baier, Christel, et autres
Publié: (2025)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
par: Marin, Sonia, et autres
Publié: (2025)

Fixed Point Theorems in Computability Theory
par: Terwijn, Sebastiaan A.
Publié: (2024)

Probabilistic Linear Logic Programming with an Application to Bayesian Network Computations (Extended Version)
par: Acclavio, Matteo, et autres
Publié: (2026)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
par: Gheorghiu, Alexander V., et autres
Publié: (2023)

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
par: Alrabbaa, Christian, et autres
Publié: (2025)

The Precise Complexity of Reasoning in $\mathcal{ALC}$ with $ω$-Admissible Concrete Domains (Extended Version)
par: Borgwardt, Stefan, et autres
Publié: (2024)

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)
par: Baader, Franz, et autres
Publié: (2025)

A Unified Treatment of Substitution for Presheaves, Nominal Sets, Renaming Sets, and so on
par: Lenke, Fabian, et autres
Publié: (2026)

Bridging Computational Notions of Depth
par: Bienvenu, Laurent, et autres
Publié: (2024)

Dynamic Probability Logic: Decidability & Computability
par: Chopoghloo, Somayeh, et autres
Publié: (2024)

Computing with Infinite Objects: the Gray Code Case
par: Spreen, Dieter, et autres
Publié: (2021)

Specification and Automatic Verification of Computational Reductions
par: Grange, Julien, et autres
Publié: (2024)

MCAC: A Model Counting Algorithm for Exact Computation of Error Metrics of Approximate Circuits
par: Ramprasath, S, et autres
Publié: (2024)

A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)
par: Tsukada, Takeshi, et autres
Publié: (2025)

Intuitionistic BV (Extended version)
par: Acclavio, Matteo, et autres
Publié: (2025)

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
par: Kettmann, Pascal, et autres
Publié: (2026)

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
par: Chatterjee, Krishnendu, et autres
Publié: (2024)

Meta-Mathematics of Computational Complexity Theory
par: Oliveira, Igor C.
Publié: (2025)

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
par: Paulus, Joseph W. N., et autres
Publié: (2021)

VerifyThis 2019: A Program Verification Competition (Extended Report)
par: Dross, Claire, et autres
Publié: (2020)

Property Directed Reachability with Extended Resolution
par: Luka, Andrew, et autres
Publié: (2025)

Automated planning with ontologies under coherence update semantics (Extended Version)
par: Borgwardt, Stefan, et autres
Publié: (2025)

Isabelle as Systems Platform: Managing Automated and Quasi-interactive Builds
par: Huch, Fabian
Publié: (2024)

Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach (Extended Version)
par: Grandury, Marcos, et autres
Publié: (2025)