0506562 - ÚI 2020 CZ eng V - Výzkumná zpráva
Žák, Stanislav
A Logical Characteristic of Read-Once Branching Programs.
Prague: ICS CAS, 2019. 16 s. Technical Report, V-1270.
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)
Trvalý link: http://hdl.handle.net/11104/0297795