120 citations
- Johannes Kepler University of LinzAT5 papers
- Technical University of MunichDE5 papers
- Universität InnsbruckAT3 papers
- Australian National UniversityAU2 papers
- Universidad Nacional de La MatanzaAR2 papers
- University of TartuEE2 papers
- Anstalt für Verbrennungskraftmaschinen List (Austria)AT1 paper
- Austrian Center for Medical Innovation and TechnologyAT1 paper
- Blekinge Institute of TechnologySE1 paper
- Ideko (Spain)ES1 paper
- Istanbul Technical UniversityTR1 paper
- Massey UniversityNZ1 paper
Showing cs.LOShow 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.LO2017★ 3 cited
A Logic for Non-Deterministic Parallel Abstract State Machines
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec +1
We develop a logic which enables reasoning about single steps of non-deterministic parallel Abstract State Machines (ASMs). Our logic builds upon the unifying logic introduced by N…
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…