Mouse Pathology Books Online
- 期刊名称Veterinary Pathology
- 作者Sundberg, J. P.; Blake, J.; Szauter, P.; Ward, J. M.
- 卷第48卷
- 期第3期
- 印刷ISSN0300-9858
- 电子ISSN1544-2217
- 文件大小52.99KB
- 发表时间2011-05-01
- DOI10.1177/0300985810388519
- 页码730-730
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