W Ian Gasarch;Steven Homer
Harvard Univ., Cambridge, MA;Boston Univ., Boston, MA
An axiomatic approach to algebrization
Proceedings of the forty-first annual ACM symposium on Theory of computing
A logic for PTIME and a parameterized halting problem
Fields of logic and computation