Photo of Alexander Bentkamp
20172020

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Ancillary activities

No ancillary activities

Ancillary activities are updated daily

Fingerprint

Dive into the research topics where Alexander Bentkamp is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 2 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots.
  • Efficient Full Higher-Order Unification

    Vukmirovic, P., Bentkamp, A. & Nummelin, V., 2020, 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020). Ariola, Z. M. (ed.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 5:1-5:17 17 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 167).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • A Formal Proof of the Expressiveness of Deep Learning

    Bentkamp, A., Blanchette, J. C. & Klakow, D., Aug 2019, In : Journal of Automated Reasoning. 63, 2, p. 347-368 22 p.

    Research output: Contribution to JournalArticleAcademicpeer-review

    Open Access
  • Superposition with lambdas

    Bentkamp, A., Blanchette, J., Tourret, S., Vukmirović, P. & Waldmann, U., 2019, Automated Deduction – CADE 2019: 27th International Conference on Automated Deduction, Proceedings. Fontaine, P. (ed.). Springer, p. 55-73 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11716 LNAI).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Superposition for Lambda-Free Higher-Order Logic

    Bentkamp, A., Blanchette, J. C., Cruanes, S. & Waldmann, U., 2018, Automated Reasoning: 9th International Joint Conference, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018 Oxford, UK, July 14–17, 2018 Proceedings. Galmiche, D., Schulz, S. & Sebastiani, R. (eds.). Springer/Verlag, p. 28-46 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10900 LNAI).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • 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: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Your message has successfully been sent.
Your message was not sent due to an error.
If you made any changes in Pure these will be visible here soon.