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
Identifier
- DOI: 10.1145/3158098
- DOI: 10.18154/RWTH-2018-01272
- RWTH PUBLICATIONS: RWTH-2018-01272