Publisher
Springer International Publishing
Reference9 articles.
1. Theory of Matroids. Encyclopedia of Mathematics and its Applications, Cambridge University Press (1986)
2. Bird, R., de Moor, O.: Algebra of Programming. Prentice-Hall, Inc. (1997)
3. Björner, A., Ziegler, G.M.: Introduction to Greedoids. Encyclopedia of Mathematics and its Applications, pp. 284–357. Cambridge University Press (1992)
4. Bortin, M., Johnsen, E.B., Lüth, C.: Structured formal development in Isabelle. Nord. J. Comput. 13(1–2), 2–21 (2006)
5. Lecture Notes in Computer Science;H Doornbos,1995
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献