Eliminating Definitions and Skolem Functions in First-Order Logic

@inproceedings{Avigad2001EliminatingDA,
  title={Eliminating Definitions and Skolem Functions in First-Order Logic},
  author={Jeremy Avigad},
  booktitle={LICS},
  year={2001}
}
Highly Cited
This paper has 34 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
21 Citations
0 References
Similar Papers