output
20152022
most citedTowards an ASM thesis for reflective sequential algorithms

3 citations

researchers with a paper here
collaborating institutions
Showing 2019Show all

1 paper · 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…