Buchumschlag

Rewriting and Inductive Reasoning

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hajdu, Márton, Kovács, Laura, Rawson, Michael
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Lean on Vampire Proofs (Short Paper)
von: Bodingbauer, Jonas, et al.
Veröffentlicht: (2026)

Partial Redundancy in Saturation
von: Hajdu, Márton, et al.
Veröffentlicht: (2025)

Saturating Sorting without Sorts
von: Georgiou, Pamina, et al.
Veröffentlicht: (2024)

Term Ordering Diagrams
von: Hajdu, Márton, et al.
Veröffentlicht: (2025)

Completeness of Synthesis under Realizability Assumptions using Superposition
von: Hajdu, Márton, et al.
Veröffentlicht: (2026)

Synthesis Benchmarks for Automated Reasoning
von: Hajdu, Márton, et al.
Veröffentlicht: (2025)

Getting Saturated with Induction
von: Hajdu, Márton, et al.
Veröffentlicht: (2024)

Spanning Matrices via Satisfiability Solving
von: Eisenhofer, Clemens, et al.
Veröffentlicht: (2024)

Finding Connections via Satisfiability Solving
von: Eisenhofer, Clemens, et al.
Veröffentlicht: (2026)

Constraint Learning for Non-confluent Proof Search
von: Rawson, Michael, et al.
Veröffentlicht: (2026)

CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model
von: Jeanteur, Simon, et al.
Veröffentlicht: (2023)

SAT-Based Subsumption Resolution
von: Coutelier, Robin, et al.
Veröffentlicht: (2024)

Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification
von: Meseguer, Jose
Veröffentlicht: (2024)

The Vampire Diary
von: Bártek, Filip, et al.
Veröffentlicht: (2025)

SAT Solving for Variants of First-Order Subsumption
von: Coutelier, Robin, et al.
Veröffentlicht: (2024)

Scaling CheckMate for Game-Theoretic Security
von: Rain, Sophie, et al.
Veröffentlicht: (2024)

Equational and Inductive Reasoning for Maude in Athena
von: Sanabria, Mateo, et al.
Veröffentlicht: (2026)

Case Study: Saturations as Explicit Models in Equational Theories
von: Janota, Mikoláš, et al.
Veröffentlicht: (2026)

Formalising Inductive and Coinductive Containers
von: Damato, Stefania, et al.
Veröffentlicht: (2024)

Tree Rewriting Calculi for Strictly Positive Logics
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2025)

When Agda met Vampire
von: Šinkarovs, Artjoms, et al.
Veröffentlicht: (2026)

Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo
von: Komel, Anja Petković, et al.
Veröffentlicht: (2025)

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

Drag Rewriting
von: Dershowitz, Nachum, et al.
Veröffentlicht: (2024)

PolySAT: Word-level Bit-vector Reasoning in Z3
von: Rath, Jakob, et al.
Veröffentlicht: (2024)

Positive Almost-Sure Termination of Polynomial Random Walks
von: Winkler, Lorenz, et al.
Veröffentlicht: (2025)

MCSat-based Finite Field Reasoning in the Yices2 SMT Solver
von: Hader, Thomas, et al.
Veröffentlicht: (2024)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
von: Almeida, Rodrigo Nicolau
Veröffentlicht: (2023)

Templates in Rewriting Induction
von: Hagens, Kasper, et al.
Veröffentlicht: (2026)

Initial Algebras of Domains via Quotient Inductive-Inductive Types
von: van Collem, Simcha, et al.
Veröffentlicht: (2025)

Bounded Rewriting Induction for LCSTRSs
von: Hagens, Kasper, et al.
Veröffentlicht: (2026)

Superposition with Delayed Unification
von: Bhayat, Ahmed, et al.
Veröffentlicht: (2024)

Impredicative Encodings of (Higher) Inductive Types
von: Awodey, Steve, et al.
Veröffentlicht: (2018)

Topological Semantics for Common Inductive Knowledge
von: Namachivayam, Siddharth
Veröffentlicht: (2026)

A Topological Rewriting of Tarski's Mereogeometry
von: Barlatier, Patrick, et al.
Veröffentlicht: (2025)

Lazy Reimplication in Chronological Backtracking
von: Coutelier, Robin, et al.
Veröffentlicht: (2025)

A Rewriting Theory for Quantum Lambda-Calculus
von: Faggian, Claudia, et al.
Veröffentlicht: (2024)

Confluence of Logically Constrained Rewrite Systems Revisited
von: Schöpf, Jonas, et al.
Veröffentlicht: (2024)

Timed Strategies for Real-Time Rewrite Theories
von: Olarte, Carlos, et al.
Veröffentlicht: (2024)

On Problems Dual to Unification: The String-Rewriting Case
von: Akçam, Zümrüt, et al.
Veröffentlicht: (2021)