Sign in

Extending Visibly Pushdown Automata over Multi-matching Nested Relations.

Jin LiuYeqiu XiaoHaiyang WangWensheng Wang
Published in: SOFL+MSVL (2022)
Keyphrases