Foundations for natural proofs and quantifier instantiation

(2018) [Contribution to a conference proceedings, Journal Article]

Proceedings of the ACM on Programming Languages : PACMPL
Volume: 2
Page(s): 10

Authors

Selected Authors

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

Identifier