Vincenzo DEUFEMIA | Publications
Vincenzo DEUFEMIA Publications
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 | |
Show it in Product Database (IRIS) |