Registered user since Sun 3 Mar 2019
Name:Adrian Riesco
Country:Spain
Affiliation:Universidad Complutense de Madrid
Personal website: http://maude.sip.ucm.es/~adrian/
Research interests:Rewriting logic
Contributions
STAF 2024-profile
View general profile
View general profile