Mathematische Grundlagen der Informatik, RWTH Aachen University, Germany;
Mathematische Grundlagen der Informatik, RWTH Aachen University, Germany;
机译:树状结构的一阶二阶逻辑
机译:具有任意谓词的Monadic二阶逻辑
机译:布鲁诺·库尔西勒(Bruno Courcelle)和乔斯特·恩格弗里特(Joost Engelfriet)的剑桥大学出版社,2012
机译:电感结构弱元二阶逻辑的新算法
机译:分支整数法的混合整数二阶锥优化问题中的开发结构
机译:使用归纳逻辑编程从分子结构预测啮齿动物致癌性生物测定。
机译:电感结构弱单一阶二阶逻辑的新算法
机译:逻辑设计问题的并行计算结构和算法