Copertina

Verifying Procedural Programs via Constrained Rewriting Induction

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Fuhs, Carsten, Kop, Cynthia, Nishida, Naoki
Natura:	Preprint
Pubblicazione:	2014
Soggetti:	Logic in Computer Science D.2.4; I.2.3
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Definite Descriptions and Hybrid Tense Logic
di: Indrzejczak, Andrzej, et al.
Pubblicazione: (2024)

From Scientific Texts to Verifiable Code: Automating the Process with Transformers
di: Wang, Changjie, et al.
Pubblicazione: (2025)

A Proof System with Causal Labels (Part II): checking Counterfactual Fairness
di: Ceragioli, Leonardo, et al.
Pubblicazione: (2025)

A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality
di: Ceragioli, Leonardo, et al.
Pubblicazione: (2025)

Revisiting Conjunctive Query Entailment for $\mathcal S$
di: Ibáñez-García, Yazmín, et al.
Pubblicazione: (2025)

Executable First-Order Queries in the Logic of Information Flows
di: Aamer, Heba, et al.
Pubblicazione: (2022)

A Sequent Calculus for General Inductive Definitions
di: Eede, Robbe Van den, et al.
Pubblicazione: (2026)

SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
di: Arndt, Dörthe, et al.
Pubblicazione: (2025)

Trustworthiness Preservation by Copies of Machine Learning Systems
di: Ceragioli, Leonardo, et al.
Pubblicazione: (2025)

A Coq-based Axiomatization of Tarski's Mereogeometry
di: Barlatier, Patrick, et al.
Pubblicazione: (2025)

Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
di: Lin, Hongyu, et al.
Pubblicazione: (2026)

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
di: Wright, Craig Steven
Pubblicazione: (2025)

TPTP World Infrastructure for Non-classical Logics
di: Steen, Alexander, et al.
Pubblicazione: (2025)

Verification Challenge: Fractional Cascading for Multi-Nuclide Grid Lookup
di: Siegel, Andrew R.
Pubblicazione: (2025)

Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
di: Mustafa, Daham, et al.
Pubblicazione: (2026)

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
di: Knothe, David, et al.
Pubblicazione: (2026)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
di: Grotenhuis, Lide, et al.
Pubblicazione: (2026)

Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment
di: Jilissen, Kevin H. J., et al.
Pubblicazione: (2024)

Anthem 2.0: Automated Reasoning for Answer Set Programming
di: Fandinno, Jorge, et al.
Pubblicazione: (2025)

Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
di: Sochański, Michał, et al.
Pubblicazione: (2025)

Verified VCG and Verified Compiler for Dafny
di: Nezamabadi, Daniel, et al.
Pubblicazione: (2025)

Faithful Logic Embeddings in HOL -- Deep and Shallow
di: Benzmüller, Christoph
Pubblicazione: (2025)

Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
di: Benzmüller, Christoph, et al.
Pubblicazione: (2026)

Rewriting Induction for Existentially Quantified Equations in Logically Constrained Rewriting (Full Version)
di: Nishida, Naoki, et al.
Pubblicazione: (2026)

Summa Summarum: Moessner's Theorem without Dynamic Programming
di: Danvy, Olivier
Pubblicazione: (2024)

Sound Logical Explanations for Mean Aggregation Graph Neural Networks
di: Morris, Matthew, et al.
Pubblicazione: (2025)

Relational Graph Convolutional Networks Do Not Learn Sound Rules
di: Morris, Matthew, et al.
Pubblicazione: (2024)

Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions
di: Morris, Matthew, et al.
Pubblicazione: (2025)

Which are the True Defeasible Logics?
di: Maher, Michael J.
Pubblicazione: (2024)

Discernment is all you need
di: Fuenmayor, David
Pubblicazione: (2026)

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
di: Zhang, Xindi, et al.
Pubblicazione: (2025)

Mechanized HOL Reasoning in Set Theory
di: Guilloud, Simon, et al.
Pubblicazione: (2024)

Incomplete Descriptions and Qualified Definiteness
di: Więckowski, Bartosz
Pubblicazione: (2024)

Term Orders for Optimistic Lambda-Superposition
di: Bentkamp, Alexander, et al.
Pubblicazione: (2025)

Metric Equational Theories
di: Mardare, Radu, et al.
Pubblicazione: (2025)

Canonical for Automated Theorem Proving in Lean
di: Norman, Chase, et al.
Pubblicazione: (2025)

Implementing Dependent Type Theory Inhabitation and Unification
di: Norman, Chase, et al.
Pubblicazione: (2026)

Paraconsistent logic and query answering in inconsistent databases
di: Middelburg, C. A.
Pubblicazione: (2022)

Belnap-Dunn logic and query answering in inconsistent databases with null values
di: Middelburg, C. A.
Pubblicazione: (2023)

Verification of Unbounded Client-Server Systems with Distinguishable Clients
di: Phawade, Ramchandra, et al.
Pubblicazione: (2026)