A Type System for DNAQL

Robert Brijder, Joris J. M. Gillis, Jan Van den Bussche. A Type System for DNAQL. In Darko Stefanovic, Andrew J. Turberfield, editors, DNA Computing and Molecular Programming - 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012. Proceedings. Volume 7433 of Lecture Notes in Computer Science, pages 12-24, Springer, 2012. [doi]

Authors

Robert Brijder

This author has not been identified. Look up 'Robert Brijder' in Google

Joris J. M. Gillis

This author has not been identified. Look up 'Joris J. M. Gillis' in Google

Jan Van den Bussche

This author has not been identified. Look up 'Jan Van den Bussche' in Google