共 50 条
- [41] THE EQUIVALENCE PROBLEM FOR REAL-TIME STRICT DETERMINISTIC PUSHDOWN-AUTOMATA CYBERNETICS, 1989, 25 (05): : 581 - 594
- [44] A DIRECT BRANCHING ALGORITHM FOR CHECKING EQUIVALENCE OF SOME CLASSES OF DETERMINISTIC PUSHDOWN-AUTOMATA INFORMATION AND CONTROL, 1982, 52 (02): : 187 - 238