Skip to content

Bounded-Arity Hierarchies in Fixed-Point Logics.

Martin Grohe

VenueBCSL
Year1993
ProceedingsCSL

Browse the full CSL paper archive.