海量图书期刊资源,随时随地畅享阅读乐趣
[Lecture Notes in Computer Science] GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen Volume 2 || A mathematical model of digital computersPawlak, Z. · 1973
IntroductionBranislav Rovan · 1993
Proving containment of bounded AFLBranislav Rovan · 1975
Modeling time criticality of informationRovan, Branislav; Zeman, Marek · Information Processing Letters · 2014
Automata with Auxiliary WeightsKostolányi, Peter; Rovan, Branislav · International Journal of Foundations of Computer Science · 2016
On the power of synchronization in parallel computationsJuraj Hromkovič; Juhani Karhumäki; Branislav Rovan; Anna Slovodová · 1991
On the periodicity of word-length in DOL languagesSeymour Ginsburg; Branislav Rovan · 1974
Deterministic versus nondeterministic space in terms of synchronized alternating machinesJuraj Hromkovič; Branislav Rovan; Anna Slobodova · 1994
Introduction—Combined TCSA/TCSB issue—mathematical foundations of computer science 2000Mogens Nielsen; Branislav Rovan · 2005