Undecidability Results on Two-Variable Logics.

Erich Grdel, Martin Otto, Eric Rosen

Browse the full STACS paper archive.