Constant-Space Sequential Model of Computation for First-Order Logic

Steven Lindell, Haverford College

Abstract

This paper has been withdrawn.