Visual Knowledge Reasoning on Typed Categorical Structure
暂无分享,去创建一个
[1] R. F. C. Walters,et al. Categories and computer science , 1992, Cambridge computer science texts.
[2] Pawel Sobocinski,et al. Adhesive and quasiadhesive categories , 2005, RAIRO Theor. Informatics Appl..
[3] Hartmut Ehrig,et al. Categorical Foundations of Distributed Graph Transformation , 2006, ICGT.
[4] Joan Torrens,et al. Algebraic Transformation of Unary Partial Algebras I: Double-Pushout Approach , 1997, Theor. Comput. Sci..
[5] Michelle Y. Kim. Visual Reasoning in Geometry Theorem Proving , 1989, IJCAI.
[6] Hartmut Ehrig,et al. Graph-Grammars: An Algebraic Approach , 1973, SWAT.
[7] Lili Rong,et al. Typed Category Theory-Based Micro-view Emergency Knowledge Representation , 2007, KSEM.
[8] H. J. Ohlbach,et al. How to Augment a Formal System with a Boolean Algebra Component , 1998 .
[9] Mercè Llabrés,et al. Towards a Double Pushout Transformation of Algebras , 2001, Electron. Notes Theor. Comput. Sci..
[10] 陆汝钤. Towards a Mathematical Theory of Knowledge , 2005 .
[11] Francesc Rosselló,et al. Algebraic Transformation of Unary Partial Algebras II: Single-Pushout Approach , 1999, Theor. Comput. Sci..
[12] Arthur H. M. ter Hofstede,et al. Applications of a categorical framework for conceptual data modeling , 1997, Acta Informatica.
[13] C. A. R. Hoare. Notes on an Approach to Category Theory for Computer Scientists , 1989 .