Symbolic Listings as Computation: Algebraic Model of Computation Relating Boolean Functions and Arithmetic Circuits

Algebraic model linking symbolic listings, Boolean functions, and arithmetic circuit complexity.