Author:
Filiot Emmanuel,Raskin Jean-François,Reynier Pierre-Alain,Servais Frédéric,Talbot Jean-Marc
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference58 articles.
1. Marrying words and trees;Alur,2007
2. First-order and temporal logics for nested words;Alur;Log. Methods Comput. Sci.,2008
3. Temporal reasoning for procedural programs;Alur,2010
4. Visibly pushdown languages;Alur,2004
5. Adding nesting structure to words;Alur;J. ACM,2009
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献