MANCA, Vincenzo
MANCA, Vincenzo
DIPARTIMENTO DI INFORMATICA
A Brief Philosophical Note on Information
2017-01-01 Manca, V
A deductive system extending Equational Logic with Type Assignment
1989-01-01 Manca, Vincenzo; Salibra, A.; Scollo, G.
A dictionary based informational genome analysis
2012-01-01 Castellini, Alberto; Franco, Giuditta; Manca, Vincenzo
A DNA Algorithm for 3-SAT (11,20)*
2001-01-01 Manca, Vincenzo; Simona Di, Gregorio; Daniela, Lizzari; Vallini, Giovanni; C., Zandron
A DNA Clause String Algorithm for SAT
2002-01-01 Manca, Vincenzo; Zandron, C.
A genetic approach for synthesizing metabolic models from time series
2012-01-01 Castellini, Alberto; Manca, Vincenzo; Zucchelli, Mauro; Busato, Mirko
A logical formalism for intergrammatical representations
1995-01-01 Manca, Vincenzo
A logical formalism for intergrammatical representations
1995-01-01 Manca, Vincenzo
A membrane system for selective leukocyte recruitment
2003-01-01 Franco, Giuditta; Manca, Vincenzo
A Membrane System for the Leukocyte Selective Recruitment
2004-01-01 Franco, Giuditta; Manca, Vincenzo
A Metagrammatical Logical Formalism
1998-01-01 Manca, Vincenzo
A metagrammatical logical formalism
1996-01-01 Manca, Vincenzo
A Methodology Based on MP Theory for Gene Expression Analysis
2012-01-01 Marchetti, Luca; Manca, Vincenzo
A photosynthetic process modelled by a metabolic P system
2009-01-01 Manca, Vincenzo; Pagliarini, Roberto; Zorzan, Simone
A proof of regularity for finite splicing
2004-01-01 Manca, Vincenzo
A relational view of recurrence and attractors in state transition dynamics
2006-01-01 G., Scollo; Franco, Giuditta; Manca, Vincenzo
A word recurrence based algorithm to extract genomic dictionaries
2021-01-01 Bonnici, V; Franco, G; Manca, V
Algebra universale e logica in computer science
1982-01-01 Manca, Vincenzo; Salibra, A.
Algebraic logic
1988-01-01 Manca, Vincenzo; Salibra, A.
Algorithmic Applications of XPCR
2011-01-01 Franco, Giuditta; Manca, Vincenzo