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
Using general profile
STAF 2024
Mon 8 - Fri 12 July 2024 Enschede, Netherlands
- Attending
- Tracks
- Organization
- STAF 2024 Committees
- Organizing Committee
- Steering Committee
- Contributors
- People Index
- Search
- Series