A Generic Characterization of Generalized Unary Temporal Logic and Two-Variable First-Order Logic.

Thomas Place, Marc Zeitoun

Browse the full CSL paper archive.