Alessandro Bruni – Publications — IT-University of Copenhagen

Phone72185163
Emailbrunitudk
Websitehttp://alessandrobruni.name

Research activity per year

10 Article in proceedings
1 Report
1 Paper
1 Conference article
More
- 1 Other contribution

1 results

Filter

2024
Taming Differentiable Logics with Coq Formalisation
Affeldt, R., Bruni, A., Komendantskaya, E., Ślusarz, N. & Stark, K., 21 Mar 2024.
Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research

Open Access