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)