The expressive power of fixed-point logic with counting
Otto, Martin
Champaign, Ill : Association for Symbolic Logic (1996)
Journal Article
In: The journal of symbolic logic
Volume: 61
Page(s)/Article-Nr.: 147-176
Identifier
- RWTH PUBLICATIONS: RWTH-CONV-021657