共 25 条
- [21] Specification Translation of State Machines from Equational Theories into Rewrite Theories FORMAL METHODS AND SOFTWARE ENGINEERING, 2010, 6447 : 678 - +
- [23] Equational Theories of Scattered and Countable Series-Parallel Posets DEVELOPMENTS IN LANGUAGE THEORY, DLT 2020, 2020, 12086 : 1 - 13