Quantifier Rank for Parity of Embedded Finite Models

@inproceedings{Fournier2001QuantifierRF,
  title={Quantifier Rank for Parity of Embedded Finite Models},
  author={Herv{\'e} Fournier},
  booktitle={MFCS},
  year={2001}
}

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-2 OF 2 CITATIONS

Elements of Finite Model Theory

  • Texts in Theoretical Computer Science
  • 2004
VIEW 2 EXCERPTS
CITES BACKGROUND & METHODS