The expressive power of fixed-point logic with counting

Otto, Martin

Champaign, Ill / Association for Symbolic Logic (1996) [Journal Article]

The journal of symbolic logic
Volume: 61
Page(s): 147-176

Identifier

  • REPORT NUMBER: RWTH-CONV-021657