Foundations for natural proofs and quantifier instantiation

(2018) [Contribution to a book, Contribution to a conference proceedings]

Proceedings of the ACM on Programming Languages

Authors

Selected Authors

Löding, Christof
Madhusudan, P.
Peña, Lucas

Identifier