Operational Termination of Membership Equational Programs: the Order-Sorted Way
Work
Year: 2009
Type: article
Abstract: Our main goal is automating termination proofs for programs in rewriting-based languages with features such as: (i) expressive type structures, (ii) conditional rules, (iii) matching modulo axioms, an... more
Authors Salvador Lucas, José Meseguer
Cites: 29
Cited by: 22
Related to: 10
FWCI: 3.199
Citation percentile (by year/subfield): 91.82
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: gold