Author:
Okada Mitsuhiro,Sugimoto Yutaro,Yoshikawa Sumi,Konagaya Akihiko
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Gene Ontology Consortium: Creating the Gene Ontology resource: design and implementation. Genome Res. 2001 11, 1425–1433 (2001)
2. Gene Ontology Consortium: The Gene Ontology Editorial Style Guide,
http://www.geneontology.org/GO.usage.shtml
3. Girard, J.Y.: Linear Logic. Theoretical Computer Science 50, 1–102 (1987)
4. London Mathematical Society Lecture Note Series;J.Y. Girard,1995
5. Goguen, J.: Data, Schema, Ontology, and Logic Integration. In: Carnielli, W., Dionisio, M., Mateus, P. (eds.) Logic Journal of the IGPL, vol. 13(6) (2006) (to appear)