CNR Institutional Research Information System

CRESPI REGHIZZI, STEFANO

CRESPI REGHIZZI, STEFANO  

Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni - IEIIT  

Mostra records
Risultati 1 - 14 di 14 (tempo di esecuzione: 0.029 secondi).
Titolo Data di pubblicazione Autore(i) File
Strict local testability with consensus equals regularity, and other properties 1-gen-2013 Crespi Reghizzi, Stefano ; San Pietro, Pierluigi
A unifying approach to picture grammars 1-gen-2011 Pradella M.; Cherubini A.; Crespi Reghizzi S.
A unifying approach to picture grammars 1-gen-2009 M. Pradella; A. Cherubini; S. Crespi Reghizzi
A SAT-Based Parser and Completer for Pictures Specified by Tiling 1-gen-2008 Pradella, M; CRESPI REGHIZZI, Stefano
SAT-TS: a SAT-based tool to recognize and complete pictures specified by tiling 1-gen-2007 M. Pradella; S. Crespi Reghizzi
a virtual machine for small embedded systems 1-gen-2006 Agosta, G; CRESPI REGHIZZI, Stefano; Svelto, G
Linguaggi formali e compilazione 1-gen-2006 S. Crespi Reghizzi
On parsing some classes of 2D languages 1-gen-2006 S. Crespi Reghizzi; M. Pradella
Tiling Systems versus Tile Rewriting Grammars 1-gen-2006 Cherubini, A; CRESPI REGHIZZI, Stefano; Pradella, M; San Pietro, P
Tile Rewriting Grammars and Picture Languages 1-gen-2005 S. Crespi Reghizzi; M. Pradella
Towards a brain compatible theory of syntax based on local testability 1-gen-2003 CRESPI REGHIZZI, Stefano
Associative language descriptions 1-gen-2002 CRESPI REGHIZZI, Stefano; SAN PIETRO, Pierluigi; Cherubini, A
Associative Definition of Programming Languages, Computer Languages 1-gen-2001 S. Crespi Reghizzi; M. Pradella; P. San Pietro
Associative Language Descriptions versus Context-Free models 1-gen-2001 Cherubini, A; CRESPI REGHIZZI, Stefano; Pradella, M; San Pietro, P