Sfoglia per Rivista RAIRO. INFORMATIQUE THEORIQUE ET APPLICATIONS
Mostrati risultati da 1 a 3 di 3
Probabilistic Operational Semantics for the Lambda Calculus
2012-01-01 Zorzi, Margherita; DAL LAGO, U.
Solving Maximum Independent Set by Asynchronous Distributed Hopfield-Type Neural Networks
2006-01-01 Giuliano, Grossi; Massimo, Marchi; Posenato, Roberto
TTL: a formalism to describe local and global properties of distributed systems
1992-01-01 Masini, Andrea; A., Maggiolo Schettini
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Probabilistic Operational Semantics for the Lambda Calculus | 1-gen-2012 | Zorzi, Margherita; DAL LAGO, U. | |
Solving Maximum Independent Set by Asynchronous Distributed Hopfield-Type Neural Networks | 1-gen-2006 | Giuliano, Grossi; Massimo, Marchi; Posenato, Roberto | |
TTL: a formalism to describe local and global properties of distributed systems | 1-gen-1992 | Masini, Andrea; A., Maggiolo Schettini |
Mostrati risultati da 1 a 3 di 3
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile