机译:具有可表示的圆柱化约简的不可表示的无限维拟多阿迪达斯相等代数
Algebraic logic; Cylindric algebras; Quasi-polyadic algebras;
机译:具有可表示的圆柱化约简的不可表示的无限维拟多阿迪达斯相等代数
机译:拟多双性平等代数的定义和可表示性
机译:关于可表示的拟-多双等式代数的公理化的复杂性
机译:在关系信息显示中表示和表示维
机译:通过从事结构化图表环境的预代学生来表征和解决代数单词问题的模式的发展。
机译:tRNA代码的三维代数模型和代表氨基酸的12个图形
机译:可表示的圆柱代数和多维模态逻辑
机译:用于表示无限弹性板和分层弹性介质中的双向和双向波传播的等效网络