Visibly Pushdown Languages and Term Rewriting

Jacques Chabin, Pierre Réty. Visibly Pushdown Languages and Term Rewriting. In Boris Konev, Frank Wolter, editors, Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings. Volume 4720 of Lecture Notes in Computer Science, pages 252-266, Springer, 2007. [doi]

Abstract

Abstract is missing.