45 citations · 74 across the 16 of their papers we have counts for
Showing 2019 · cs.LOShow all
2 papers · 2 filters
cs.LO2019
A Restricted Second-Order Logic for Non-deterministic Poly-Logarithmic Time
Flavio Ferrarotti, Senen Gonzáles, Klaus-Dieter Schewe +1
We introduce a restricted second-order logic for finite structures where second-order quantification ranges over relations of size at most poly-logari…
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…