Extending Visibly Pushdown Automata over Multi-matching Nested Relations

von Liu, Jin
Veröffentlicht in International Workshop on SOFL+MSVL (11. : 2022 : Madrid) Structured object-oriented formal language and method (2023)