Person
Steffen van Bergerem
M. Sc. RWTH
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)
Address
Building: Erweiterungsbau 1
Room: 4117a
Ahornstr. 55
52074 Aachen
Contact
- WorkPhone
- Phone: +49 241 80 21702
Fax
Fax:
+49 241 80 22215
Office Hours
- by appointment
Publications
| Title | Authors | Published in |
|---|---|---|
|
Learning Concepts Definable in First-Order Logic with Counting |
Steffen van Bergerem |
34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019 |
Research Interests
Connections between logics and computational learning theory, computational complexity theory