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

Institutions

• Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]
• Department of Mathematics [110000]