Skip to content

The Complexity of Independence-Friendly Fixpoint Logic.

Julian C. Bradfield, Stephan Kreutzer

VenueBCSL
Year2005
ProceedingsCSL

Browse the full CSL paper archive.