ETAPS 2019 (series) / Abhishek De
Not registered as user yet
Contributions
| GaLoP 2019 | Towards Circular Proof Nets | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile
ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
- About
- Program
- Conferences
- Organization
- ETAPS 2019 Committees
- Organizing Committee
- Steering Committee
- Executive Board
- Track Committees
- Mentoring Workshop
- Mooly Fest
- Posters
- TOOLympics
- Workshops
- Contributors
- People Index
- Search
- Series