Vytisknout
0510920 - ÚI 2020 eng V - Výzkumná zpráva
Žák, Stanislav
A Logical Characteristic of Read-Once Branching Programs.
Trier, 2019. 16 s. Electronic Colloquium on Computational Complexity, TR19-150. ISSN 1433-8092
Institucionální podpora: RVO:67985807
Klíčová slova: branching programs * Computational Complexity * logic
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://eccc.weizmann.ac.il/report/2019/150/
Trvalý link: http://hdl.handle.net/11104/0301281
Žák, Stanislav
A Logical Characteristic of Read-Once Branching Programs.
Trier, 2019. 16 s. Electronic Colloquium on Computational Complexity, TR19-150. ISSN 1433-8092
Institucionální podpora: RVO:67985807
Klíčová slova: branching programs * Computational Complexity * logic
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://eccc.weizmann.ac.il/report/2019/150/
Trvalý link: http://hdl.handle.net/11104/0301281