共 50 条
- [21] An Infinite Hierarchy of Language Families Resulting from Stateless Pushdown Automata with Limited Pushdown Alphabets DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2012, 2012, 7386 : 236 - 243
- [22] A generalization of amenability and inner amenability of groups Czechoslovak Mathematical Journal, 2012, 62 : 729 - 742
- [25] Bounded model checking of infinite state systems: Exploiting the automata hierarchy SECOND ACM AND IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2004, : 17 - 26
- [29] Bounded and semibounded representations of infinite dimensional Lie groups REPRESENTATION THEORY - CURRENT TRENDS AND PERSPECTIVES, 2017, : 541 - +