Registered user since Sat 3 Dec 2022

Name:Sam van Gool
Affiliation:Université Paris Cité / IRIF

Contributions

CPP 2023 Formalizing and computing propositional quantifiers
Show activities from other conferences

Using general profile