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
- Attending
- Previous editions
- Tracks
- WADT 2024
- Research papers
- STAF 2024
- Keynotes
- Organization
- WADT 2024 Committees
- Steering Committee
- Programme Committee
- Contributors
- People Index
- Search
- Series