...
机译:“现在”和“然后”运算符的表达能力
Institute of Linguistics, Universitaet Tuebingen, Wilhelmstrasse 19, 72074 Tuebingen, Germany;
"Now" operator; Backwards-looking operators; Bisimulation; First-order modal logic; Hybrid logic;
机译:关于二维运算符的一阶模态逻辑的表达力量
机译:“现在”和“然后”运算符的表达能力
机译:测试算子对类PDL逻辑表达能力的影响
机译:关于过去操作员的MTL表现力
机译:有限图的笛卡尔幂上的最大平均算子范数的尺寸渐近性。
机译:Sylow子群和命令是同一素数的幂的运算符的数量
机译:SCCS中延迟算子的表达能力