Buchumschlag

Rewriting Induction for Existentially Quantified Equations in Logically Constrained Rewriting (Full Version)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Nishida, Naoki, Nishie, Kazushi, Kojima, Misaki
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science 68Q42 F.4.2
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Abstract Framework for All-Path Reachability Analysis toward Safety and Liveness Verification (Full Version)
von: Kojima, Misaki, et al.
Veröffentlicht: (2026)

Termination of Innermost-Terminating Right-Linear Overlay Term Rewrite Systems (Full Version)
von: Nishida, Naoki
Veröffentlicht: (2026)

Rewriting Systems on Arbitrary Monoids
von: Magalhães, Eduardo
Veröffentlicht: (2026)

Dependence and Independence for Reversible Process Calculi
von: Aubert, Clément, et al.
Veröffentlicht: (2024)

A Formalization of Abstract Rewriting in Agda
von: Arkle, Sam, et al.
Veröffentlicht: (2026)

Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (Full Version)
von: Nakano, Keisuke, et al.
Veröffentlicht: (2024)

Polygraphs: From Rewriting to Higher Categories
von: Ara, Dimitri, et al.
Veröffentlicht: (2023)

Metalevel transformation of strategies
von: Rubio, Rubén, et al.
Veröffentlicht: (2024)

Difference of Constrained Patterns in Logically Constrained Term Rewrite Systems (Full Version)
von: Nishida, Naoki, et al.
Veröffentlicht: (2025)

Automated Strategy Invention for Confluence of Term Rewrite Systems
von: Zhang, Liao, et al.
Veröffentlicht: (2024)

Gödel Mirror: A Formal System For Contradiction-Driven Recursion
von: Chan, Jhet
Veröffentlicht: (2025)

Compositionality of Rewriting Rules with Conditions
von: Behr, Nicolas, et al.
Veröffentlicht: (2019)

Anti-Context-Free languages
von: Cardó, Carles
Veröffentlicht: (2024)

Automating proof search when equality is a logical connective
von: Chaudhuri, Kaustuv, et al.
Veröffentlicht: (2026)

Around Context-Free Grammars -- a Normal Form, a Representation Theorem, and a Regular Approximation
von: Cojocaru, Liliana
Veröffentlicht: (2015)

The number of primitive words of unbounded exponent in the language of an HD0L-system is finite
von: Klouda, Karel, et al.
Veröffentlicht: (2021)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
von: Rahnama, Moses
Veröffentlicht: (2025)

Computable Structuralism: A Categorical Rewrite Calculus of Mythic Variants
von: Segura, Juan J.
Veröffentlicht: (2026)

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

The Generation-Recognition Asymmetry: Six Dimensions of a Fundamental Divide in Formal Language Theory
von: Peyrichou, Romain
Veröffentlicht: (2026)

Solutions of Word Equations over Partially Commutative Structures
von: Diekert, Volker, et al.
Veröffentlicht: (2016)

Languages of Words of Low Automatic Complexity Are Hard to Compute
von: Chen, Joey, et al.
Veröffentlicht: (2025)

Equational Theories and Validity for Logically Constrained Term Rewriting (Full Version)
von: Aoto, Takahito, et al.
Veröffentlicht: (2024)

A correspondence between the time and space complexity
von: Latkin, Ivan V.
Veröffentlicht: (2023)

A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
von: Ramos, Arthur, et al.
Veröffentlicht: (2025)

Verifying Procedural Programs via Constrained Rewriting Induction
von: Fuhs, Carsten, et al.
Veröffentlicht: (2014)

On Graph Grammars and Games
von: Vijayakumar, Jayakrishna, et al.
Veröffentlicht: (2024)

A Coq-based Axiomatization of Tarski's Mereogeometry
von: Barlatier, Patrick, et al.
Veröffentlicht: (2025)

Lindenmayer graph languages, first-order theories and expanders
von: Knapik, Teodor
Veröffentlicht: (2024)

EGGs are adhesive!
von: Biondo, Roberto, et al.
Veröffentlicht: (2025)

Walking on Words
von: Pratt-Hartmann, Ian
Veröffentlicht: (2022)

Automating Reformulation of Essence Specifications via Graph Rewriting
von: Miguel, Ian, et al.
Veröffentlicht: (2024)

Universal Conditional Logic: A Formal Language for Prompt Engineering
von: Mikinka, Anthony
Veröffentlicht: (2025)

Conjunctive categorial grammars and Lambek grammars with additives
von: Kuznetsov, Stepan L., et al.
Veröffentlicht: (2024)

Varieties of Distributed Knowledge
von: Galimullin, Rustam, et al.
Veröffentlicht: (2025)

Partial Rewriting and Value Interpretation of Logically Constrained Terms (Full Version)
von: Aoto, Takahito, et al.
Veröffentlicht: (2026)

High-Performance Generation of Constrained Inputs
von: Crump, Addison, et al.
Veröffentlicht: (2025)

Ohana trees, linear approximation and multi-types for the $λ$I-calculus: No variable gets left behind or forgotten!
von: Cerda, Rémy, et al.
Veröffentlicht: (2025)

Well-Quasi-Orderings on Word Languages
von: Lhote, Nathan, et al.
Veröffentlicht: (2025)

From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms
von: Vidal, Juan Climent, et al.
Veröffentlicht: (2024)