Thaynara Arielly de Lima
Thaynara Arielly de Lima
Affiliation: Universidade Federal de Goiás
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:
🔍
↑