Skip to content

The FO2 alternation hierarchy is decidable.

Manfred Kufleitner, Pascal Weil

VenueBCSL
Year2012
ProceedingsCSL

Browse the full CSL paper archive.