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