共 50 条
- [41] Undecidable Problems for Probabilistic Automata of Fixed Dimension Theory of Computing Systems, 2003, 36 : 231 - 245
- [48] Approximability of Two Variants of Multiple Knapsack Problems ALGORITHMS AND COMPLEXITY (CIAC 2015), 2015, 9079 : 365 - 376
- [50] Decidable and undecidable second-order unification problems REWRITING TECHNIQUES AND APPLICATIONS, 1998, 1379 : 47 - 60