Author:
Grathwohl Niels Bjørn Bugge,Henglein Fritz,Nielsen Lasse,Rasmussen Ulrik Terp
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Kearns, S.M.: Extending Regular Expressions. PhD thesis, Columbia University (1990)
2. Lecture Notes in Computer Science;A. Frisch,2004
3. Dubé, D., Feeley, M.: Efficiently Building a Parse Tree From a Regular Expression. Acta Informatica 37(2), 121–144 (2000)
4. Lecture Notes in Computer Science;L. Nielsen,2011
5. Henglein, F., Nielsen, L.: Regular expression containment: Coinductive axiomatization and computational interpretation. In: Proc. 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL). SIGPLAN Notices, vol. 46, pp. 385–398. ACM Press (January 2011)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献