Publisher
Springer International Publishing
Reference58 articles.
1. Barr, M.: $$*$$ ∗ -Autonomous Categories. Lecture Notes in Mathematics, vol. 752. Springer, Berlin (1979)
2. Beth, E.W.: The Foundations of Mathematics. North Holland, Amsterdam (1959)
3. Brock, J.D., Ackerman, W.B.: An anomaly in the specifications of nondeterministic packet systems. Technical report Computation Structures Group Note CSG-33, MIT Lab. for Computer Science, November 1977
4. Cannon, J.J.: A general purpose group theory program. In: Proceedings of the Second International Conference Theory of Groups, Canberra, pp. 204–217 (1973)
5. Cannon, J.J.: A draft description of the group theory language cayley. In: Proceedings of the Third ACM Symposium on Symbolic and Algebraic Computation, SYMSAC 1976, pp. 66–84. ACM, New York (1976)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献