activity
20112025
most citedWeak Models of Distributed Computing, with Connections to Modal Logic

31 citations · 111 across the 33 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

cs.LO2019

Descriptive Complexity of Deterministic Polylogarithmic Time and Space

Flavio Ferrarotti, Senén González, José María Turull Torres +2

We propose logical characterizations of problems solvable in deterministic polylogarithmic time (PolylogTime) and polylogarithmic space (PolylogSpace). We introduce a novel two-sor…