DMCA

The κ-lattice: Decidability boundaries for qualitative analysis in biological languages (2009)

by Giorgio Delzanno , Cinzia Di Giusto , Maurizio Gabbrielli , Cosimo Laneve , Gianluigi Zavattaro
Citations:8 - 7 self