Julia Pagan
Julia Pagan
Affiliation: Universitat Politècnica de València
Pages in this Program
Completion to Strong Confluence
Proving Equations with Nonterminating Term Rewriting Systems using Context-Sensitive Rewriting
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑