2 papers
cs.LO2023
Regular Representations of Uniform TC^0
Lauri Hella, Juha Kontinen, Kerkko Luosto
The circuit complexity class DLOGTIME-uniform AC^0 is known to be a modest subclass of DLOGTIME-uniform TC^0. The weakness of AC^0 is caused by the fact that AC^0 is not closed und…
math.LO2023
Dimension in team semantics
Lauri Hella, Kerkko Luosto, Jouko Väänänen
We introduce three measures of complexity for families of sets. Each of the three measures, that we call dimensions, is defined in terms of the minimal number of convex subfamilies…