WADT 2024
Mon 8 Jul 2024 Enschede, Netherlands
co-located with STAF 2024
STAF 2024 (series) / WADT 2024 (series) / 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

Show activities from other conferences

STAF 2024-profile
View general profile