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 G; DEUFEMIA V; FERRUCCI F; GRAVINO C.
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)