Theoretical Computer Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Profiles

No photo of Alexander Bentkamp

Alexander Bentkamp

Person: Academic

20172018
No photo of Jasmin Christian Blanchette
20162018

Research Output 1993 2018

Superposition for lambda-free higher-order logic

Bentkamp, A., Blanchette, J. C., Cruanes, S. & Waldmann, U. 2018 (Accepted/In press) Automated Reasoning - 8th International Joint Conference, IJCAR 2018.

Research output: Scientific - peer-reviewConference contribution

A formal proof of the expressiveness of deep learning

Bentkamp, A., Blanchette, J. C. & Klakow, D. 2017 Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017, Proceedings. Springer, Vol. 10499, p. 46-64 (LNCS)

Research output: Scientific - peer-reviewConference contribution

An Isabelle Formalization of the Expressiveness of Deep Learning (Extended Abstract)

Bentkamp, A., Blanchette, J. C. & Klakow, D. 2017 p. 22-23 2 p.

Research output: Other research outputAbstract