Eduardo Skapinakis

Towards a Characterization of Counting and Alternating Classes via Discrete Ordinary Differential Equations

A uniform framework is presented, built upon a single base algebra and a unified family of schemas, where complexity levels, such as those of the polynomial and counting hierarchies, are captured simply by the nesting depth of ODE operators.