共 50 条
- [41] Satisfiability of systems of equations over finite monoids MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2001, 2001, 2136 : 537 - 547
- [46] Detectability of labeled weighted automata over monoids Discrete Event Dynamic Systems, 2022, 32 : 435 - 494
- [47] Detectability of labeled weighted automata over monoids DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2022, 32 (03): : 435 - 494