Author:
Larchey-Wendling Dominique
Publisher
Springer International Publishing
Reference18 articles.
1. Cycle detection – Wikipedia, The Free Encyclopedia.
https://en.wikipedia.org/wiki/Cycle_detection
2. Information Security and Cryptography;J-P Aumasson,2014
3. Texts in Theoretical Computer Science. An EATCS Series;Y Bertot,2004
4. Bove, A., Capretta, V.: Modelling general recursion in type theory. Math. Structures Comput. Sci. 15(4), 671–708 (2005).
https://doi.org/10.1017/S0960129505004822
5. Bove, A., Krauss, A., Sozeau, M.: Partiality and recursion in interactive theorem provers – an overview. Math. Structures Comput. Sci. 26(1), 38–88 (2016).
https://doi.org/10.1017/S0960129514000115
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Evolution of Marketing as an Innovative Knowledge Stream: The Evolving Role of Stakeholder Causal Scope;Palgrave Studies in Cross-disciplinary Business Research, In Association with EuroMed Academy of Business;2018