Author:
Braibant Thomas,Jourdan Jacques-Henri,Monniaux David
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference23 articles.
1. Melquiond, G.: Inf. Comput. 216 (14) (2012). doi: 10.1016/j.ic.2011.09.005
2. Vafeiadis, V.: In: ITP, Lecture Notes in Computer Science, vol. 7998, pp. 328–337. Springer (2013)
3. Knuth, D. E.: The Art of Computer Programming, vol. 4A, chap. 7.1.4. Addison-Wesley (2011), Binary decision diagrams
4. Verma, K. N., Goubault-Larrecq, J.: Reflecting BDDs in Coq. In: Proc. ASIAN, vol. 1961, pp. 162–181. Springer (2000), LNCS. doi: 10.1007/3-540-44464-5_13
5. Verma, K.N., Goubault-Larrecq, J.: Reflecting BDDs in Coq. Rapport de recherche RR-3859. INRIA (2000)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献