Imagen de Portada

Confluence of Logically Constrained Rewrite Systems Revisited

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Schöpf, Jonas, Mitterwallner, Fabian, Middeldorp, Aart
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

The Computability Path Order for Beta-Eta-Normal Higher-Order Rewriting (Full Version)
por: Niederhauser, Johannes, et al.
Publicado: (2025)

Equational Theories and Validity for Logically Constrained Term Rewriting (Full Version)
por: Aoto, Takahito, et al.
Publicado: (2024)

Partial Rewriting and Value Interpretation of Logically Constrained Terms (Full Version)
por: Aoto, Takahito, et al.
Publicado: (2026)

Automated Strategy Invention for Confluence of Term Rewrite Systems
por: Zhang, Liao, et al.
Publicado: (2024)

Recovering Commutation of Logically Constrained Rewriting and Equivalence Transformations (Full Version)
por: Takahata, Kanta, et al.
Publicado: (2025)

Hydra Battles and AC Termination
por: Hirokawa, Nao, et al.
Publicado: (2023)

Unification of Deterministic Higher-Order Patterns (Full Version)
por: Niederhauser, Johannes, et al.
Publicado: (2026)

Left-Linear Completion with AC Axioms
por: Niederhauser, Johannes, et al.
Publicado: (2024)

Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms (Full Version)
por: Takahata, Kanta, et al.
Publicado: (2025)

Confluence of Conditional Rewriting Modulo
por: Lucas, Salvador
Publicado: (2025)

Difference of Constrained Patterns in Logically Constrained Term Rewrite Systems (Full Version)
por: Nishida, Naoki, et al.
Publicado: (2025)

On Complexity Bounds and Confluence of Parallel Term Rewriting
por: Baudon, Thaïs, et al.
Publicado: (2023)

Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity
por: Chen, Hubie, et al.
Publicado: (2024)

Tree Rewriting Calculi for Strictly Positive Logics
por: Santiago-Fernández, Sofía, et al.
Publicado: (2025)

Compositional Confluence Criteria
por: Shintani, Kiraku, et al.
Publicado: (2023)

Proving Confluence in the Confluence Framework with CONFident
por: Gutiérrez, Raúl, et al.
Publicado: (2023)

Formalizing Representation Theorems for a Logical Framework with Rewriting
por: Traversié, Thomas, et al.
Publicado: (2025)

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

Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic
por: Olarte, Carlos, et al.
Publicado: (2024)

Unification in Matching Logic -- Revisited
por: Kurucz, Ádám, et al.
Publicado: (2024)

Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
por: Hanisch, Philipp, et al.
Publicado: (2026)

Drag Rewriting
por: Dershowitz, Nachum, et al.
Publicado: (2024)

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
por: Ahrens, Emma, et al.
Publicado: (2025)

Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
por: Kanovich, Max, et al.
Publicado: (2016)

Rewriting and Inductive Reasoning
por: Hajdu, Márton, et al.
Publicado: (2024)

Templates in Rewriting Induction
por: Hagens, Kasper, et al.
Publicado: (2026)

Cut-free Deductive System for Continuous Intuitionistic Logic
por: Geoffroy, Guillaume
Publicado: (2025)

Small Term Reachability and Related Problems for Terminating Term Rewriting Systems
por: Baader, Franz, et al.
Publicado: (2024)

Bounded Rewriting Induction for LCSTRSs
por: Hagens, Kasper, et al.
Publicado: (2026)

Agent-Knowledge Logic for Alternative Epistemic Logic
por: Nishimura, Yuki
Publicado: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
por: Lyon, Tim S., et al.
Publicado: (2024)

A Topological Rewriting of Tarski's Mereogeometry
por: Barlatier, Patrick, et al.
Publicado: (2025)

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

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
por: Lyon, Tim S.
Publicado: (2023)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
por: Marin, Sonia, et al.
Publicado: (2025)

Skolemization In Intermediate Logics
por: Baaz, Matthias, et al.
Publicado: (2025)

Constructive Quantum Logics
por: Aguilera, Juan P., et al.
Publicado: (2025)

A Logic of Inability
por: Wang, Shanxia
Publicado: (2026)