Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Berline, C., Grue, K.: A κ-denotational semantics for Map Theory in ZFC+SI. TCS 179(1–2), 137–202 (1997)
2. Church, A.: The Calculi of Lambda-Conversion. Princeton University Press, Princeton (1941)
3. Dobbertin, H., Bosselaers, A., Preneel, B.: RIPEMD-160: A strengthened version of RIPEMD. In: Fast Software Encryption, pp. 71–82 (1996), http://citeseer.nj.nec.com/dobbertin96ripemd.html
4. Genzen, G.: The Collected Papers of Gerhard Gentzen. In: Szabo, M.E. (ed.) North-Holland (1969)
5. Grue, K.: Map theory. Theoretical Computer Science 102(1), 1–133 (1992)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献