Nie jesteś zalogowany | Zaloguj się

Dynamic Enumeration for First-Order Queries on Classes of Bounded Expansion

Prelegent(ci)
Szymon Toruńczyk
Afiliacja
Uniwersytet Warszawski
Termin
13 czerwca 2018 14:15
Pokój
p. 5050
Seminarium
Seminarium „Teoria automatów”

I will show the proof of the result announced in the previous talk. 
I will also discuss some theoretical applications of this result, in the context of machine learning.