...
机译:具有k的产品有限变量碎片的复杂性
Russian Acad Sci Inst Informat Transmiss Problems Moscow 127051 Russia|Natl Res Univ Higher Sch Econ Moscow 101000 Russia;
Univ Witwatersrand Sch Comp Sci & Appl Math ZA-2050 Johannesburg South Africa;
Products of modal logics; expanding relativized products; finite-variable fragments; computational complexity; satisfiability problem; validity problem;
机译:具有k的产品有限变量片段的复杂性
机译:Exptime-complete逻辑的有限变量片段的复杂性
机译:基于产品复杂性成本的量化,减少产品和过程复杂性
机译:基于流程片段和工作流管理表的流程复杂性-产品质量(PCPQ)模型
机译:产品复杂性和供应基础复杂性对供应链绩效的影响。
机译:使用个性化的转录组解剖tRNA衍生的片段复杂性揭示了新颖的片段类别和意外的依赖性
机译:对称帧的命题模态逻辑有限变量片段的复杂性