Decision procedures for elementary sublanguages of set theory: XI. Multilevel syllogistic extended by some elementary map constructs

机译：涉及单调，加法和乘法功能的集合论子语言的决策程序，I：两级情况

机译：具有通用集的基本集理论

机译：基本数学动机清单（EMMI）的开发，验证和实施：检查基本数学中的动机构造

机译：很难找到无叶的基本陷阱集和LDPC码的基本吸收集

机译：具有基数和局部理论扩展的有限集的决策程序。

机译：集合类别的基本理论

机译：集决定的集合理论的决策程序：X. expleton和Powerset算子扩展的多级三段论

机译：确定一组基本测试中的单个或组合成员可以预测最终使用的一组基本，中间测试结果的方法，以便提供样本候选者以设置基本测试结果最终用途，候选润滑剂样品将在为润滑剂选择的最终用途测试中获得批准，以确定一组基本测试中间体与哪种状态组合与一组最终结果基本相关性高，并选择成分和数量的润滑剂中的功能流体和油脂

机译：静态傅立叶变换光谱仪具有一组基本干涉仪的基本镜，这些基本镜形成垂直于阶梯轮廓镜反台阶的镜，其台阶由另一组基本镜形成

机译：基本天线用于磁共振和具有多个此类基本天线的天线阵列，其截面轴从第一部分延伸，并在其旁边布置有第一辅助圆