scientific article; zbMATH DE number 7814914
From MaRDI portal
Publication:6192005
arXiv2303.03906v5MaRDI QIDQ6192005
Publication date: 11 March 2024
Full work available at URL: https://arxiv.org/abs/2303.03906v5
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Decreasing diagrams and relative termination
- Properties of substitutions and unifications
- Developing developments
- Confluence of curried term-rewriting systems
- From diagrammatic confluence to modularity
- Confluence by critical pair analysis revisited
- Labelings for decreasing diagrams
- On theories with a combinatorial definition of 'equivalence'
- A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems
- Layer Systems for Proving Confluence
- CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems
- Confluence by Decreasing Diagrams
- Proving Confluence of Term Rewriting Systems Automatically
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- A new parallel closed condition for Church-Rosser of left-linear term rewriting systems
- Term Rewriting and All That
- Nagoya Termination Tool
- CSI – A Confluence Tool
- Confluence: The Unifying, Expressive Power of Locality
- On the Church-Rosser property for the direct sum of term rewriting systems
- Tree-Manipulating Systems and Church-Rosser Theorems
- Term Rewriting and Applications
- Confluence without termination via parallel critical pairs
- Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs
This page was built for publication:
