机译:无限行为逻辑:复杂性,模型和语法
Kleene algebra; action algebra; relation algebra; categorial grammar;
机译:无限行为逻辑:复杂性,模型和语法
机译:无限行为逻辑:复杂性,模型和语法
机译:语法逻辑和相关模态逻辑中正则性的复杂性
机译:换向无限作用逻辑的复杂性
机译:具有相关排序(FOLDS)的一阶逻辑的最终语言和最终语言的基本模型理论。
机译:在医疗保健研究中推进复杂性科学:逻辑模型的逻辑
机译:上下文无关的语法(带有例外)的复杂性以及语法作为XML和SGML模型的不足之处
机译:形式语法作为逻辑推导的模型。