conf.researchr.org / Adrian Riesco
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