Search results | The Czech Academy of Sciences

Records found: 3

Your query: Keywords = "models of computation"

To the basket
RIV
WOS
OpenAIRE
Bookmark
1.
0318538 - MÚ 2009 RIV US eng J - Journal Article
Gál, A. - Koucký, Michal - McKenzie, P.
Incremental Branching Programs.
[Inkrementální rozhodovací programy.]
Theory of Computing Systems. Roč. 43, č. 2 (2008), s. 159-184. ISSN 1432-4350. E-ISSN 1433-0490
R&D Projects: GA ČR GP201/07/P276; GA ČR GA201/05/0124
Institutional research plan: CEZ:AV0Z10190503
Keywords : branching programs * models of computation * lower bounds
Subject RIV: BA - General Mathematics
Impact factor: 0.766, year: 2008
Permanent Link: http://hdl.handle.net/11104/0167927
File Download Size Commentary Version Access

Koucky4.pdf 1 444.2 KB Publisher’s postprint require
To the basket
RIV
Bookmark
2.
0089738 - MÚ 2008 RIV CZ eng O - Others
Gál, A. - Koucký, Michal - McKenzie, P.
Incremental branching programs.
Praha: ECCC, Electronic Colloquium on Computational Complexity, 2005. TR05-136.
R&D Projects: GA MŠMT(CZ) 1M0545; GA ČR GA201/05/0124
Institutional research plan: CEZ:AV0Z10190503
Keywords : branching programs * models of computation * lower bounds
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0150847
File Download Size Commentary Version Access

Koucky.pdf 1 217.8 KB Publisher’s postprint open-access
To the basket
RIV
OpenAIRE
Bookmark
3.
0041386 - MÚ 2007 RIV DE eng C - Conference Paper (international conference)
Gál, A. - Koucký, Michal - McKenzie, P.
Incremental Branching Programs ( Extended Abstract ).
[Inkrementální rozhodovací programy.]
Proceedings of International Computer Science Symposium in Russia. Berlin: Springer Verlag, 2006 - (Grigoriev, D.; Harrison, J.; Hirsh, A.), s. 178-190. Lecture Notes in Computer Science, 3967. ISBN 3-540-34166-8.
[International Computer Science Symposium in Russia. Sankt Petersburg (RU), 08.06.2006-12.06.2006]
R&D Projects: GA MŠMT(CZ) 1M0545; GA ČR(CZ) GA201/05/0124
Institutional research plan: CEZ:AV0Z10190503
Keywords : branching programs * models of computation * lower bounds
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0134867
File Download Size Commentary Version Access

Koucky2.pdf 1 451.4 KB Publisher’s postprint require