skip to main content
Lingue:
Filtrati per: Collezione: SpringerLink rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

On compiling Boolean circuits optimized for secure multi-party computation

Büscher, Niklas ; Franz, Martin ; Holzer, Andreas ; Veith, Helmut ; Katzenbeisser, Stefan

Formal Methods in System Design, 2017, Vol.51(2), pp.308-331 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
2
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Interpolation in fuzzy logic

Baaz, Matthias ; Veith, Helmut

Archive for Mathematical Logic, 1999, Vol.38(7), pp.461-489 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni

Ricerca in corso nelle risorse remote ...