共 50 条
- [2] Stratified Context Unification is NP-complete [J]. AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 82 - 96
- [5] Context unification with one context variable [J]. JOURNAL OF SYMBOLIC COMPUTATION, 2010, 45 (02) : 173 - 193
- [7] Context Unification is in PSPACE [J]. AUTOMATA, LANGUAGES, AND PROGRAMMING (ICALP 2014), PT II, 2014, 8573 : 244 - 255
- [9] A fast inter mode decision algorithm based on the context [J]. Int. Conf. E-Bus. Inf. Syst. Secur., EBISS, (615-617):
- [10] A Fast Inter Mode Decision Algorithm Based On the Context [J]. 2010 2ND INTERNATIONAL CONFERENCE ON E-BUSINESS AND INFORMATION SYSTEM SECURITY (EBISS 2010), 2010, : 615 - 617