Alexander Bentkamp

Available identifiers

zbMath Open bentkamp.alexanderMaRDI QIDQ1687713

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6123991	2024-04-08	Paper
Verified reductions for optimization	2024-04-05	Paper
\textsf{HHLPy}: practical verification of hybrid systems using Hoare logic	2023-08-17	Paper
Superposition for higher-order logic	2023-06-14	Paper
An Impossible Asylum	2023-05-11	Paper
Making higher-order superposition work	2022-12-12	Paper
The embedding path order for \(\lambda\)-free higher-order terms	2022-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q5028439	2022-02-09	Paper
Superposition with first-class booleans and inprocessing clausification	2021-12-01	Paper
Superposition for full higher-order logic	2021-12-01	Paper
Making higher-order superposition work	2021-12-01	Paper
Superposition with lambdas	2021-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q4989394	2021-05-25	Paper
Superposition with lambdas	2020-03-10	Paper
A formal proof of the expressiveness of deep learning	2019-08-21	Paper
Superposition for \(\lambda\)-free higher-order logic	2018-10-18	Paper
A formal proof of the expressiveness of deep learning	2018-01-04	Paper

Research outcomes over time

This page was built for person: Alexander Bentkamp