海量图书期刊资源,随时随地畅享阅读乐趣
Erratum, Erratum, Erratum, ErratumJournal of Biomolecular Structure and Dynamics · 1985
Erratum to: ErratumLieza M. Danan,Zhihao Yu,Adam J. Hoffhines… · 2010
Erratum to: Erratum2006
Erratum: Erratum2012
Erratum to: ErratumMaurice Lagueux · 1993
Erratum to: ErratumP., Lohmann; M., Rao; M., Ludwig; E., Griese; U., Zanger; K., Mörike; W., Maier; M., Bagli · 2001
Erratum: Erratum2001
Erratum: Printer's erratum1999
Generalised coinductionBARTELS, FALK · Mathematical Structures in Computer Science · 2003
The algebra of multirelationsMARTIN, C. E.; CURTIS, S. A. · Mathematical Structures in Computer Science · 2013
Quantum computation and quantum informationPAUL, THIERRY · Mathematical Structures in Computer Science · 2007
Ordinal computationsKOEPKE, PETER; KOERWIEN, MARTIN · Mathematical Structures in Computer Science · 2006
Categories, relations and dynamic programmingMoor, Oege De · Mathematical Structures in Computer Science · 1994
Differential categoriesBLUTE, R. F.; COCKETT, J. R. B.; SEELY, R. A. G. · Mathematical Structures in Computer Science · 2006
Impredicativity entails untypednessLIETZ, PETER; STREICHER, THOMAS · Mathematical Structures in Computer Science · 2002
Towards a quantum programming languageSELINGER, PETER · Mathematical Structures in Computer Science · 2004