Login / Signup

Implicit complexity over an arbitrary structure: Quantifier alternations.

Olivier BournezFelipe CuckerPaulin Jacobé de NauroisJean-Yves Marion
Published in: Inf. Comput. (2006)
Keyphrases