共 50 条
- [42] Petri net reduction 2007 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-3, 2007, : 1527 - 1530
- [46] A PUMPING LEMMA FOR FLIP-PUSHDOWN LANGUAGES RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2016, 50 (04): : 295 - 311
- [50] A Pumping Lemma for Pushdown Graphs of Any Level 29TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, (STACS 2012), 2012, 14 : 54 - 65