On Skolemization and Proof Complexity

@article{Baaz1994OnSA,
  title={On Skolemization and Proof Complexity},
  author={Matthias Baaz and Alexander Leitsch},
  journal={Fundam. Inform.},
  year={1994},
  volume={20},
  pages={353-379}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…