Publisher
Springer International Publishing
Reference15 articles.
1. Lecture Notes in Computer Science;Sylvain Conchon,2008
2. Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, Third Edition. The MIT Press, Cambridge (2009)
3. Danos, V., Regnier, R.: The structure of multiplicatives. Arch. Math. Logic 28, 181–203 (1989). https://doi.org/10.1007/BF01622878
4. Gabow, H.N., Tarjan, R.E.: A linear-time algorithm for a special case of disjoint set union. J. Comput. Syst. Sci. 30(2), 209–221 (1985). https://doi.org/10.1016/0022-0000(85)90014-5
5. Girard, J.Y.: Linear logic. Theoret. Comput. Sci. 50, 1–102 (1987). https://doi.org/10.1016/0304-3975(87)90045-4