Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective
暂无分享,去创建一个
[1] Andre Scedrov,et al. Categories, allegories , 1990, North-Holland mathematical library.
[2] Gunther Schmidt,et al. Relationen und Graphen , 1989, Mathematik für Informatiker.
[3] Karl-Heinz Kiyek,et al. Mathematik für Informatiker 1 , 1989 .
[4] George Gratzer,et al. Universal Algebra , 1979 .
[5] Gunther Schmidt,et al. Programs as Partial Graphs I: Flow Equivalence and Correctness , 1981, Theor. Comput. Sci..
[6] Gunther Schmidt,et al. Relations and Graphs: Discrete Mathematics for Computer Scientists , 1993 .
[7] Wolfram Kahl,et al. A Relation-Algebraic Approach to Graph Structure Transformation , 2001, RelMiCS.
[8] Gunther Schmidt,et al. Programs as Partial Graphs II: Recursion , 1981, Theor. Comput. Sci..