Search results
- 1.0404881 - UIVT-O 220777 DE eng C - Conference Paper (international conference)
Savický, Petr
On Random Orderings of Variables for Parity OBDDs.
Electronic Colloquium on Computational Complexity, TR98-068. Trier, 1998
R&D Projects: GA ČR GA201/98/0717; GA MŠMT OK 304
Keywords : representation of Boolean functions * OBDD * random ordering of variables
Subject RIV: BA - General Mathematics
http://www.eccc.uni-trier.de/report/1998/068
Permanent Link: http://hdl.handle.net/11104/0125107 - 2.0403490 - UIVT-O 980101 RIV DE eng C - Conference Paper (international conference)
Wiedermann, Jiří
Speeding-Up Nondeterministic Single-Tape Off-Line Computations by One Alternation.
Mathematical Foundation of Computer Science 1998. Berlin: Springer, 1998 - (Brim, L.; Gruska, J.; Zlatuška, J.), s. 607-615. Lecture Notes in Computer Science, 1450. ISBN 3-540-64827-5. ISSN 0302-9743.
[MFCS'98 /23./. Brno (CZ), 24.08.1998-28.08.1998]
R&D Projects: GA ČR GA201/98/0717
Grant - others:MŠMT ČR(CZ) OK 304; INCO-COOP(XE) 96-0195
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0123794 - 3.0403489 - UIVT-O 980100 RIV DE eng C - Conference Paper (international conference)
Wiedermann, Jiří
Towards Algorithmic Explanation of Mind Evolution and Functioning.
Mathematical Foundation of Computer Science 1998. Berlin: Springer, 1998 - (Brim, L.; Gruska, J.; Zlatuška, J.), s. 152-166. Lecture Notes in Computer Science, 1450. ISBN 3-540-64827-5.
[MFCS'98 /23./. Brno (CZ), 24.08.1998-28.08.1998]
R&D Projects: GA ČR GA201/98/0717
Grant - others:MŠMT ČR(CZ) OK 304; INCO-COOP(XE) 96-0195
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0123793 - 4.0403365 - UIVT-O 980036 RIV DE eng C - Conference Paper (international conference)
Jukna, S. - Žák, Stanislav
On Branching Programs with Bounded Uncertainty.
Automata, Languages and Programming. Proceedings. Berlin: Springer, 1998 - (Larsen, K.; Skyum, S.; Winskel, G.), s. 259-270. Lecture Notes in Computer Science, 1443. ISBN 3-540-64781-3.
[ICALP'98 International Colloquium /25./. Aalborg (DK), 13.07.1998-17.07.1998]
R&D Projects: GA ČR GA201/98/0717
Grant - others:MŠMT(CZ) OK 304; COPERNICUS(XE) IP961095 ALTEC-KIT
Subject RIV: BA - General Mathematics
http://www.springerlink.com/content/n2860047h75g6127/
Permanent Link: http://hdl.handle.net/11104/0123677