conf.researchr.org / Léo Valais
Registered user since Mon 18 Mar 2019
Name:Léo Valais
Contributions
| ELS 2019 | Author of Implementing Baker’s | SUBTYPEP Decision Procedure within the ELS 2019-track |
Registered user since Mon 18 Mar 2019
Contributions
| ELS 2019 | Author of Implementing Baker’s | SUBTYPEP Decision Procedure within the ELS 2019-track |