Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Pearson Education Inc. (2006)
2. Lecture Notes in Computer Science;J.B. Almeida,2011
3. Antimirov, V.: Partial derivatives of regular expressions and finite automaton constructions. Theoretical Computer Science 155, 291–319 (1996)
4. Asperti, A., Armentano, C.: A page in number theory. Journal of Formalized Reasoning 1, 1–23 (2008)
5. Asperti, A., Avigad, J.: Zen and the art of formalization. Mathematical Structures in Computer Science 21(4), 679–682 (2011)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献