Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
| 2020 | |
| Articolo in rivista | |
| Reachability of scope-bounded multistack pushdown systems INFORMATION AND COMPUTATION. Vol. 275. Pag.1-25 ISSN:0890-5401. | |
| La Torre, S.; Napoli, M.; Parlato, G. | |
| Digital Object Identifier (DOI): 10.1016/j.ic.2020.104588 Codice identificativo ISI: WOS:000595367200019 Codice identificativo SCOPUS: 2-s2.0-85085091314 | |
| Visualizza sul Database dei Prodotti (IRIS) |
