机译:欧米茄自动机:常规欧米茄语言的合并论观点
omega-automataregular omega-languagescoalgebrastreamsbisimilarity;
机译:正规表达与omega-Automata之间的转换
机译:具有内部运动的系统的正则和ω-正则行为的凝聚论
机译:使用P自动机超越图灵:定期观察者的欧米茄语言和部分成人停顿
机译:结合代数的自由代数函子
机译:老师和家长对ELL普通高中教室的包容观点:现象学研究。
机译:加拿大安大略省出现新辅助疗法治疗膀胱癌的长远眼光—通过定期和有组织的多学科团队会议来改善空间
机译:规则ω语言中无限后对应问题的高不确定性的有理关系的三种应用
机译:真理模拟:走向关于逻辑和游戏的核代数观点.211软件工程