Search results
- 1.0174594 - MU-W 980166 RIV DD eng M - Monography Chapter
Krajíček, Jan
Extensions of models of PV.
Logic Colloquium 95. Berlin: ASL/Springer, 1998 - (Ravve, E.), s. 104-114. Lecture Notes in Logic, 11
R&D Projects: GA AV ČR IAA1019602
Grant - others:US-Czechoslovak Science and technology Program(XX) č. 93025
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0071600File Download Size Commentary Version Access Krajicek1.pdf 1 1.1 MB Publisher’s postprint require - 2.0174562 - MU-W 980100 RIV DD eng M - Monography Chapter
Sgall, Jiří
Bounds on pairs of families with restricted intersections.
Technical Report TR98-044. Trier: Electronic Colloquium on Computational Complexity, 1998 - (Woeginger, G.), s. 1. Technical Report TR98-044
R&D Projects: GA AV ČR IAA1019602
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0071568 - 3.0174561 - MU-W 980099 RIV DE eng M - Monography Chapter
Sgall, Jiří
On-line scheduling.
Online Algorithms: The State of the Art. Berlin: SpringerVerlag, 1998 - (Woeginger, G.), s. 196-231. Lecture Notes in Computer Science., 1442
R&D Projects: GA AV ČR IAA1019602
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0071567 - 4.0174282 - MU-W 960078 RIV DE eng M - Monography Chapter
Krajíček, Jan
A fundamental problem of mathematical logic.
Berlin: Springer, 1996. Annals of the Kurt Gödel Society, 2. ISBN 3-211-82796-X. ISSN 0947-577X. In: Collegium Logicum., s. 56-64
R&D Projects: GA AV ČR IAA1019602
Permanent Link: http://hdl.handle.net/11104/0071293