Maria Júlia Dias Lima
Maria Júlia Dias Lima
Affiliation: Universidade de Brasília
Talks
(LFMTP)
Anti-Unification Completeness Analysis in PVS · Unification
Pages in this Program
Program
Program on Friday, 24 July 2026
LFMTP on Friday, 24 July 2026
LFMTP Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑