Foundations for natural proofs and quantifier instantiation

(2018) [Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]

Proceedings of the ACM on Programming Languages : PACMPL
Band: 2
Seite(n): 10

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

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

Identifikationsnummern