Daniele Gardy
Jednostki:
Publikacje:
1.
Daniele Gardy, Herve Fournier, Antoine Genitrini, Marek Zaionc
Classical and intuitionistic logic are asymptotically identical, Lecture Notes in Computer Science vol. 4646 (2007), 177-193
Konferencje organizowane:
1.
14th Workshop on Computational Logic and Applications, Versailles, 2019-07-01, 2019-07-02