Sfoglia per Rivista JOURNAL OF COMPUTER AND SYSTEM SCIENCES
Model-checking for Resource-Bounded ATL with production and consumption of resources
2017-01-01 Alechina, N.; Logan, B.; Nguyen, H. N.; Raimondi, F.
Synchronous context-free grammars and optimal linear parsing strategies
2015-01-01 Crescenzi, Pierluigi; Gildea, Daniel; Marino, Andrea; Rossi, Gianluca; Satta, Giorgio
What can be verified locally?
2018-01-01 Balliu, Alkida; D'Angelo, G; Pierre, Fraigniaud; Olivetti, Dennis
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Model-checking for Resource-Bounded ATL with production and consumption of resources | 1-gen-2017 | Alechina, N.; Logan, B.; Nguyen, H. N.; Raimondi, F. | |
Synchronous context-free grammars and optimal linear parsing strategies | 1-gen-2015 | Crescenzi, Pierluigi; Gildea, Daniel; Marino, Andrea; Rossi, Gianluca; Satta, Giorgio | |
What can be verified locally? | 1-gen-2018 | Balliu, Alkida; D'Angelo, G; Pierre, Fraigniaud; Olivetti, Dennis |
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