Registered user since Sat 2 Oct 2021

Name:Paul Krogmeier
Affiliation:University of Illinois at Urbana-Champaign

Contributions

POPL 2022 Learning Logics With Finitely Many Variables
Show activities from other conferences

Using general profile