:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Brogni, Anthony, Joosten, Sebastiaan J. C.
Format:	Preprint
Publié:	2023
Sujets:	Logic in Computer Science I.2.2; F.4
Accès en ligne:	https://arxiv.org/abs/2308.02513
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Verification of Unbounded Client-Server Systems with Distinguishable Clients
par: Phawade, Ramchandra, et autres
Publié: (2026)

Proving Cutoff Bounds for Safety Properties in First-Order Logic
par: Lotan, Raz, et autres
Publié: (2024)

Implicit Rankings for Verifying Liveness Properties in First-Order Logic
par: Lotan, Raz, et autres
Publié: (2024)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
par: Grotenhuis, Lide, et autres
Publié: (2026)

Extremal Separation Problems for Temporal Instance Queries
par: Jung, Jean Christoph, et autres
Publié: (2024)

Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates
par: Echenim, Mnacho, et autres
Publié: (2023)

Implementing the First-Order Logic of Here and There
par: Otten, Jens, et autres
Publié: (2026)

Inductive First-Order Formula Synthesis by ASP: A Case Study in Invariant Inference
par: Yang, Ziyi, et autres
Publié: (2026)

First-Order Coalition Logic
par: Catta, Davide, et autres
Publié: (2025)

When do homomorphism counts help in query algorithms?
par: Cate, Balder ten, et autres
Publié: (2023)

Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
par: de Rezende, Susanna F., et autres
Publié: (2019)

Verifying First-Order Temporal Properties of Infinite-State Systems via Timers and Rankings
par: Lotan, Raz, et autres
Publié: (2026)

A Coq-based Axiomatization of Tarski's Mereogeometry
par: Barlatier, Patrick, et autres
Publié: (2025)

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
par: Zhang, Xindi, et autres
Publié: (2025)

Solving Quantified Modal Logic Problems by Translation to Classical Logics
par: Steen, Alexander, et autres
Publié: (2022)

Robust Computation Tree Logic
par: Nayak, Satya Prakash, et autres
Publié: (2022)

Modal Logics -- RNmatrices vs. Nmatrices
par: Coniglio, Marcelo E., et autres
Publié: (2024)

Topological Logics with Connectedness over Euclidean Spaces
par: Kontchakov, Roman, et autres
Publié: (2011)

Bounded Model Checking for Unbounded Client Server Systems
par: Phawade, Ramchandra, et autres
Publié: (2022)

Logic interpretations of ANN partition cells
par: Schmitt, Ingo
Publié: (2024)

Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned
par: Villadsen, Jørgen
Publié: (2025)

On the Power and Limitations of Examples for Description Logic Concepts
par: Cate, Balder ten, et autres
Publié: (2024)

Constant time testability of first-order logic with modulo counting on finitary graphs
par: Adler, Isolde, et autres
Publié: (2026)

Experiments with Choice in Dependently-Typed Higher-Order Logic
par: Ranalter, Daniel, et autres
Publié: (2024)

From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes
par: Grabmayer, Clemens
Publié: (2024)

A novel framework for systematic propositional formula simplification based on existential graphs
par: de Mas, Jordina Francès, et autres
Publié: (2024)

Executable First-Order Queries in the Logic of Information Flows
par: Aamer, Heba, et autres
Publié: (2022)

Hybrid Game Control Envelope Synthesis
par: Kabra, Aditi, et autres
Publié: (2025)

Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality
par: Tsamoura, Efthymia, et autres
Publié: (2024)

Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes
par: Golovach, Petr A., et autres
Publié: (2022)

Logics for the Relational Syllogistic
par: Pratt-Hartmann, Ian, et autres
Publié: (2008)

TPTP World Infrastructure for Non-classical Logics
par: Steen, Alexander, et autres
Publié: (2025)

Three Fixed-Dimension Satisfiability Semantics for Quantum Logic: Implications and an Explicit Separator
par: Higuchi, Joaquim Reizi
Publié: (2026)

ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
par: Haak, Anselm, et autres
Publié: (2026)

A Proof System with Causal Labels (Part II): checking Counterfactual Fairness
par: Ceragioli, Leonardo, et autres
Publié: (2025)

A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality
par: Ceragioli, Leonardo, et autres
Publié: (2025)

Locality in Residuated-Lattice Structures
par: Carr, James
Publié: (2025)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
par: Coniglio, M. E., et autres
Publié: (2026)

A foundational characterization of Hoare Logic
par: Leivant, Daniel
Publié: (2026)

Implementing Dependent Type Theory Inhabitation and Unification
par: Norman, Chase, et autres
Publié: (2026)