Beatriz Alarcón

Available identifiers

zbMath Open alarcon.beatrizMaRDI QIDQ989288

List of research outcomes

Publication	Date of Publication	Type
Using context-sensitive rewriting for proving innermost termination of rewriting	2016-05-20	Paper
Proving termination of context-sensitive rewriting with MU-TERM	2013-12-20	Paper
Improving the context-sensitive dependency graph	2013-12-20	Paper
Proving Termination Properties with mu-term	2011-01-21	Paper
A Dependency Pair Framework for A ∨ C-Termination	2010-10-12	Paper
Context-sensitive dependency pairs	2010-08-19	Paper
Improving Context-Sensitive Dependency Pairs	2009-01-27	Paper
Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs	2008-09-16	Paper
Context-Sensitive Dependency Pairs	2008-04-17	Paper

Research outcomes over time

This page was built for person: Beatriz Alarcón