Logical Definability of Counting Functions

Kevin J. Compton, Erich Grädel. Logical Definability of Counting Functions. In Structure in Complexity Theory Conference. pages 255-266, 1994.

Abstract

Abstract is missing.

  翻译: