受强制性开放获取政策约束的文章 - Oliver Friedmann了解详情
无法在其他位置公开访问的文章：1 篇
Ramsey-based inclusion checking for visibly pushdown automata
O Friedmann, F Klaedtke, M Lange
ACM Transactions on Computational Logic (TOCL) 16 (4), 1-24, 2015
强制性开放获取政策： European Commission
可在其他位置公开访问的文章：2 篇
An exponential lower bound for Zadeh’s pivot rule
Y Disser, O Friedmann, AV Hopp
Mathematical Programming 199 (1), 865-936, 2023
强制性开放获取政策： German Research Foundation
Satisfiability games for branching-time logics
O Friedmann, M Lange, M Latte
Logical Methods in Computer Science 9, 2013
强制性开放获取政策： German Research Foundation
出版信息和资助信息由计算机程序自动确定