The kappa-lattice: Decidability boundaries for qualitative analysis in biological languages (0)

by G Delzanno, C D Giusto, M Gabbrielli, C Laneve, G Zavattaro
Venue:In Degano and Gorrieri [16