Imagen de Portada

Confluence Criteria for Logically Constrained Rewrite Systems (Full Version)

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Schöpf, Jonas, Middeldorp, Aart
Formato:	Preprint
Publicado:	2023
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 of Logically Constrained Rewrite Systems Revisited
por: Schöpf, Jonas, et al.
Publicado: (2024)

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)

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

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

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

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

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

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

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

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

Confluence of Conditional Rewriting Modulo
por: Lucas, Salvador
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)

A Hoare Logic for Domain Specification (Full Version)
por: Kamburjan, Eduard, et al.
Publicado: (2024)

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

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

Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version)
por: Heim, Philippe, et al.
Publicado: (2024)

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

Linearization via Rewriting (Long Version)
por: Lago, Ugo Dal, et al.
Publicado: (2025)

From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting
por: Kassing, Jan-Christoph, et al.
Publicado: (2023)

Termination of Innermost-Terminating Right-Linear Overlay Term Rewrite Systems (Full Version)
por: Nishida, Naoki
Publicado: (2026)

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

Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability
por: Wang, Shanxia
Publicado: (2026)

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

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

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

Proof Nets for PiL (Full Version)
por: Acclavio, Matteo, 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)

Sharing and Linear Logic with Restricted Access (Extended Version)
por: Barenbaum, Pablo, et al.
Publicado: (2025)

Localized Attractor Computations for Infinite-State Games (Full Version)
por: Schmuck, Anne-Kathrin, et al.
Publicado: (2024)

Modular Attractor Acceleration in Infinite-State Games (Full Version)
por: Heim, Philippe, et al.
Publicado: (2026)

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

Partially Finite Model Reasoning in Description Logics Extended Version
por: Gogacz, Tomasz, et al.
Publicado: (2026)

Verifiers and Generators: Epistemic Semantics for Intuitionistic Logic (Long Version)
por: Barenbaum, Pablo
Publicado: (2026)

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