G. Delzanno, C. Di Giusto, M. Gabbrielli, C. Laneve, G. Zavattaro (2009). The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages. BERLIN : Springer.
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages
GABBRIELLI, MAURIZIO;LANEVE, COSIMO;ZAVATTARO, GIANLUIGI
2009
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.