output
20002022
most citedMinimal irreversible quantum mechanics. The decay of unstable states

12 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.LOShow all

3 papers · 1 filter

cs.LO2020

Completeness in Polylogarithmic Time and Space

Flavio Ferrarotti, Senen Gonzalez, Klaus-Dieter Schewe +1

Complexity theory can be viewed as the study of the relationship between computation and applications, understood the former as complexity classes and the latter as problems. Compl…

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.LO2017★ 3 cited

Towards an ASM thesis for reflective sequential algorithms

Flavio Ferrarotti, Loredana Tec, Jose Maria Turull Torres

Starting from Gurevich's thesis for sequential algorithms (the so-called "sequential ASM thesis"), we propose a characterization of the behaviour of sequential algorithms enriched…