Buchumschlag

Hydra Battles and AC Termination

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hirokawa, Nao, Middeldorp, Aart
Format:	Preprint
Veröffentlicht:	2023
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

Left-Linear Completion with AC Axioms
von: Niederhauser, Johannes, et al.
Veröffentlicht: (2024)

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

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

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

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

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

Compositional Confluence Criteria
von: Shintani, Kiraku, et al.
Veröffentlicht: (2023)

Unifying Semantic Path Order and Weighted Path Order
von: Saito, Teppei, et al.
Veröffentlicht: (2026)

Terminating Hybrid Tableaus for Ordered Models
von: Nishimura, Yuki
Veröffentlicht: (2025)

Complete and Terminating Tableau Calculus for Undirected Graph
von: Nishimura, Yuki, et al.
Veröffentlicht: (2024)

A logic for temporal conditionals and a solution to the Sea Battle Puzzle
von: Ju, Fengkui, et al.
Veröffentlicht: (2017)

Termination of Triangular Polynomial Loops
von: Hark, Marcel, et al.
Veröffentlicht: (2019)

Deciding Termination of Simple Randomized Loops
von: Meyer, Éléanore, et al.
Veröffentlicht: (2025)

Sound and Complete Proof Rules for Probabilistic Termination
von: Majumdar, Rupak, et al.
Veröffentlicht: (2024)

Non-Termination of Logic Programs Using Patterns
von: Payet, Etienne
Veröffentlicht: (2025)

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

Termination of Real Linear Loops
von: Neumann, Eike, et al.
Veröffentlicht: (2026)

Termination of Graph Transformation Systems Using Weighted Subgraph Counting
von: Overbeek, Roy, et al.
Veröffentlicht: (2023)

A Dependency Pair Framework for Relative Termination of Term Rewriting
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2024)

Chase Termination Beyond Polynomial Time
von: Hanisch, Philipp, et al.
Veröffentlicht: (2024)

AProVE: Modular Termination Analysis of Memory-Manipulating C Programs
von: Emrich, Frank, et al.
Veröffentlicht: (2023)

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

Termination of Graph Transformation Systems via Generalized Weighted Type Graphs
von: Endrullis, Jörg, et al.
Veröffentlicht: (2023)

Small Term Reachability and Related Problems for Terminating Term Rewriting Systems
von: Baader, Franz, et al.
Veröffentlicht: (2024)

Efficient Ranking Function-Based Termination Analysis with Bi-Directional Feedback
von: Sarita, Yasmin, et al.
Veröffentlicht: (2024)

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

The Annotated Dependency Pair Framework for Almost-Sure Termination of Probabilistic Term Rewriting
von: Kassing, Jan-Christoph, 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)

Disproving (Positive) Almost-Sure Termination of Probabilistic Term Rewriting via Random Walks
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2026)

About the Multi-Head Linear Restricted Chase Termination
von: Gerlach, Lukas, et al.
Veröffentlicht: (2025)

A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2023)

A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations (Extended Version)
von: Ge, Rui, et al.
Veröffentlicht: (2024)

Type-Based Termination for Futures
von: Somayyajula, Siva, et al.
Veröffentlicht: (2021)

Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2025)

Restricted Chase Termination: You Want More than Fairness
von: Carral, David, et al.
Veröffentlicht: (2025)

Terminal Coalgebras in Countably Many Steps
von: Adámek, Jiří, et al.
Veröffentlicht: (2023)

Almost-Sure Termination by Guarded Refinement
von: Gregersen, Simon Oddershede, et al.
Veröffentlicht: (2024)

Termination Analysis of Linear-Constraint Programs
von: Ben-Amram, Amir M., et al.
Veröffentlicht: (2025)

Loop Termination and Generalized Collatz Sequences
von: Carelli, Mishel
Veröffentlicht: (2026)

Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem
von: Barile, Adriano, et al.
Veröffentlicht: (2024)