Skip to main content

The Complexity of Independence−Friendly Fixpoint Logic

Julian Bradfield and Stephan Kreutzer

Book Title
Foundations of the Formal Sciences V − Infinite Games (FotFS V)
Publisher
College Publications‚ London‚ 2007
Series
Studies in Logic
Volume
11
Year
2007