Zobrazeno 1 - 10
of 139
pro vyhledávání: '"GENCO, F."'
We add to intuitionistic logic infinitely many classical disjunctive tautologies and use the Curry--Howard correspondence to obtain typed concurrent $\lambda$-calculi; each of them features a specific communication mechanism, including broadcasting a
Externí odkaz:
http://arxiv.org/abs/1802.00961
Publikováno v:
Epidemiology and Infection, 2017 Aug 01. 145(11), 2352-2359.
Externí odkaz:
https://www.jstor.org/stable/26521322
Autor:
Genco, F., Hassanein, A.
Publikováno v:
In Fusion Engineering and Design April 2014 89(4):335-341
Autor:
Tomasoni, L.R., Messina, G., Genco, F., Scudeller, L., Prestia, M., Spinoni, V., Bonfanti, C., Prefumo, F., Castelli, F., Meroni, V.
Publikováno v:
In Clinical Microbiology and Infection June 2019 25(6):761-761
Autor:
Piccoli, L., Bazzocchi, C., Brunetti, E., Mihailescu, P., Bandi, C., Mastalier, B., Cordos, I., Beuran, M., Popa, L.G., Meroni, V., Genco, F., Cretu, C.
Publikováno v:
In Clinical Microbiology and Infection June 2013 19(6):578-582
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.