Login / Signup

Henkin quantifiers and Boolean formulae: A certification perspective of DQBF.

Valeriy BalabanovHui-Ju Katherine ChiangJie-Hong R. Jiang
Published in: Theor. Comput. Sci. (2014)
Keyphrases
  • boolean formulae
  • boolean variables
  • first order logic
  • expressive power