Institut fuer Informatik, Albert-Ludwigs-Universitaet Freiburg Georges-Koehler-Allee, Gebaeude 052, 79110 Freiburg, Germany;
机译:actin灯丝网络中的可判定和未定定的算术功能
机译:关于异步会话亚型的解辨率与不可剥离性的边界
机译:返回具有通信界限的并行通信有限自动机:层次结构,可判定性和不可判定性
机译:用数值变量规划的可解除性和不可剥离性结果
机译:为什么老师决定使用课程整合而不是课程整合作为他们的课程计划哲学。
机译:我们决定优化-为养老院工作人员提供共享决策技能的培训以帮助他们进行痴呆症护理中的高级护理计划对话:一项前测后测验的随机试验方案
机译:与领域无关的计划的复杂性,可判定性和不可判定性结果