共 50 条
- [1] Congruences for visibly pushdown languages [J]. AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2005, 3580 : 1102 - 1114
- [2] On Visibly Pushdown Trace Languages [J]. SOFSEM 2015: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2015, 8939 : 389 - 400
- [3] On the membership problem for visibly pushdown languages [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2006, 4218 : 96 - 109
- [4] Regularity problems for visibly pushdown languages [J]. STACS 2006, PROCEEDINGS, 2006, 3884 : 420 - 431
- [5] A grammatical representation of visibly pushdown languages [J]. LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, PROCEEDINGS, 2007, 4576 : 1 - +
- [6] Visibly pushdown languages and term rewriting [J]. FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, 2007, 4720 : 252 - +
- [7] UNRESTRICTED AND DISJOINT OPERATIONS OVER MULTI-STACK VISIBLY PUSHDOWN LANGUAGES [J]. ICSOFT 2011: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATABASE TECHNOLOGIES, VOL 2, 2011, : 156 - 161
- [10] The AC0-Complexity of Visibly Pushdown Languages [J]. 41ST INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, STACS 2024, 2024, 289