Institut fuer Informationssysteme, Technische Universitaet Wien Favoritenstrasse 9-11, A-1040 Wien, Austria;
机译:有限树上单子二阶逻辑片段的完全公理化
机译:有限色树上的单子二阶逻辑评估问题:数据库理论方法
机译:树状结构的一阶二阶逻辑
机译:关于有限结构的二阶逻辑 - 关于研究计划的报告
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:结构化糖尿病教育参加人数的增加与患者报告的健康相关生活质量的改善无关:患者赋权计划(PEP)的结果
机译:有限结构上二阶逻辑的范式以及NP优化问题的分类