Foundations for natural proofs and quantifier instantiation

Löding, Christof (Corresponding author); Madhusudan, P. (Corresponding author); Peña, Lucas (Corresponding author)

(2018)
Contribution to a conference proceedings, Journal Article

In: Proceedings of the ACM on Programming Languages : PACMPL
Volume: 2
Page(s)/Article-Nr.: 10