
Registered user since Mon 27 Jun 2022
Name:Arthur Correnson
Affiliation:École Normale Supérieure de Rennes & Saarland University
Contributions
ProLaLa 2023 | What do Relational Properties Have to Say About Legal Expert Systems ? | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2023-profile
View general profile
View general profile