3 citations · 8 across the 7 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
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.CC2019
Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe +1
The polylogarithmic time hierarchy structures sub-linear time complexity. In recent work it was shown that all classes or $\tildeΠ_{m}^{\mathit{plog}}…
cs.DC2019
Concurrent Computing with Shared Replicated Memory
Klaus-Dieter Schewe, Andreas Prinz, Egon Börger
The behavioural theory of concurrent systems states that any concurrent system can be captured by a behaviourally equivalent concurrent Abstract State Machine (cASM). While the the…