Carmine GRAVINO | Pubblicazioni
Carmine GRAVINO Pubblicazioni
| 2001 | |
| Articolo in rivista | |
| Decidability of the consistency problem for regular symbolic picture description languages INFORMATION PROCESSING LETTERS. Vol. 80. Pag.119-124 ISSN:0020-0190. | |
| Costagliola, Gennaro; Deufemia, Vincenzo; Ferrucci, Filomena; Gravino, Carmine | |
| Digital Object Identifier (DOI): 10.1016/S0020-0190(01)00154-5 Codice identificativo ISI: WOS:000171430700001 Codice identificativo SCOPUS: 2-s2.0-9444261995 | |
| Visualizza sul Database dei Prodotti (IRIS) |
