Buchumschlag

Recovering Commutation of Logically Constrained Rewriting and Equivalence Transformations (Full Version)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Takahata, Kanta, Schöpf, Jonas, Nishida, Naoki, Aoto, Takahito
Format:	Preprint
Veröffentlicht:	2025
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

Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms (Full Version)
von: Takahata, Kanta, et al.
Veröffentlicht: (2025)

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

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

Confluence Criteria for Logically Constrained Rewrite Systems (Full Version)
von: Schöpf, Jonas, et al.
Veröffentlicht: (2023)

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

Automated Analysis of Logically Constrained Rewrite Systems using crest
von: Schöpf, Jonas, et al.
Veröffentlicht: (2025)

Rewriting Induction for Existentially Quantified Equations in Logically Constrained Rewriting (Full Version)
von: Nishida, Naoki, et al.
Veröffentlicht: (2026)

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

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

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

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

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

The Computability Path Order for Beta-Eta-Normal Higher-Order Rewriting (Full Version)
von: Niederhauser, Johannes, et al.
Veröffentlicht: (2025)

A Hoare Logic for Domain Specification (Full Version)
von: Kamburjan, Eduard, et al.
Veröffentlicht: (2024)

Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version)
von: Heim, Philippe, et al.
Veröffentlicht: (2024)

Formalizing Representation Theorems for a Logical Framework with Rewriting
von: Traversié, Thomas, et al.
Veröffentlicht: (2025)

Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
von: Milosavljevic, Aleksandar, et al.
Veröffentlicht: (2022)

Equivalence and Conditional Independence in Atomic Sheaf Logic
von: Simpson, Alex
Veröffentlicht: (2024)

Linearization via Rewriting (Long Version)
von: Lago, Ugo Dal, et al.
Veröffentlicht: (2025)

Equational Reasoning Modulo Commutativity in Languages with Binders (Extended Version)
von: Caires-Santos, Ali K., et al.
Veröffentlicht: (2025)

Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs
von: Tiurin, Aleksei, et al.
Veröffentlicht: (2024)

From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2023)

Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems (Full Version)
von: König, Barbara, et al.
Veröffentlicht: (2025)

Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic
von: Olarte, Carlos, et al.
Veröffentlicht: (2024)

Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability
von: Wang, Shanxia
Veröffentlicht: (2026)

Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2024)

An Abstract Domain for Heap Commutativity (Extended Version)
von: Pincus, Jared, et al.
Veröffentlicht: (2024)

From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2024)

Towards Counting Markov Equivalence Classes with Logical Constraints
von: Bizzaro, Davide, et al.
Veröffentlicht: (2024)

Proof Nets for PiL (Full Version)
von: Acclavio, Matteo, et al.
Veröffentlicht: (2026)

Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas
von: Vehlken, Fabian, et al.
Veröffentlicht: (2026)

Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
von: Charalambidis, Angelos, et al.
Veröffentlicht: (2026)

Unification of Deterministic Higher-Order Patterns (Full Version)
von: Niederhauser, Johannes, et al.
Veröffentlicht: (2026)

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

Sharing and Linear Logic with Restricted Access (Extended Version)
von: Barenbaum, Pablo, et al.
Veröffentlicht: (2025)

Localized Attractor Computations for Infinite-State Games (Full Version)
von: Schmuck, Anne-Kathrin, et al.
Veröffentlicht: (2024)

Modular Attractor Acceleration in Infinite-State Games (Full Version)
von: Heim, Philippe, et al.
Veröffentlicht: (2026)

Partially Finite Model Reasoning in Description Logics Extended Version
von: Gogacz, Tomasz, et al.
Veröffentlicht: (2026)

Verifiers and Generators: Epistemic Semantics for Intuitionistic Logic (Long Version)
von: Barenbaum, Pablo
Veröffentlicht: (2026)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
von: Lyon, Tim S.
Veröffentlicht: (2024)