Proving and disproving confluence of context-sensitive rewriting
Authors:
- Salvador LucasSLSalvador Lucas
- Miguel VítoresMVMiguel Vítores
- Raúl GutiérrezRGRaúl Gutiérrez
Open Access
- 7 January 2022
- journal article
- research article
- Published by Elsevier in Journal of Logical and Algebraic Methods in Programming
- Vol. 126
Abstract
No abstract availableKeywords
Funding Information
- España Ministerio de Ciencia e Innovación (RTI2018-094403-B-C32)
- Generalitat Valenciana (PROMETEO/2019/098)
- European Regional Development Fund
This publication has 7 references indexed in Scilit:
- Derivational Complexity and Context-Sensitive RewritingJournal of Automated Reasoning, 2021
- CoCo 2019: report on the eighth confluence competitionInternational Journal on Software Tools for Technology Transfer, 2021
- Context-sensitive RewritingACM Computing Surveys, 2020
- Analyzing Program Termination and Complexity Automatically with AProVEJournal of Automated Reasoning, 2016
- First-Order Logic and Automated Theorem Proving1996
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980
- On Theories with a Combinatorial Definition of "Equivalence"Annals of Mathematics, 1942