机译:关于公称集上的通用代数
Department of Computer Science, University of Leicester, UK;
Department of Computer Science, University of Leicester, UK;
机译:第三届布尔代数,格理论,通用代数,集合论和集合论拓扑国际会议-BLAST 2010
机译:标称(通用)代数:具有名称和绑定的方程式逻辑
机译:通用代数和代数闭合操作员的代数套
机译:Lambda项和名义项的通用代数
机译:儿童语言:作为语言通用性,语言发展和语言状况的功能,对名词和名词性名词进行复制。
机译:一类高维单纯形复数和通用C *代数
机译:关于公称集的通用代数
机译:布尔代数在确定通用知识状态集中的应用