Search results
- 1.0332835 - ÚI 2010 RIV NL eng J - Journal Article
Bílková, Marta - De Jongh, D. - Joosten, J.J.
Interpretability in PRA.
[Interpretovatelnost v PRA.]
Annals of Pure and Applied Logic. Roč. 161, č. 2 (2009), s. 128-138. ISSN 0168-0072. E-ISSN 1873-2461
R&D Projects: GA AV ČR IAA900090703
Grant - others:GA ČR(CZ) GA401/06/0387
Institutional research plan: CEZ:AV0Z10300504
Keywords : interpretability * arithmetic * primitive recursive arithmetic * interpretability logic
Subject RIV: BA - General Mathematics
Impact factor: 0.667, year: 2009
Permanent Link: http://hdl.handle.net/11104/0177966 - 2.0312664 - ÚOCHB 2009 RIV US eng J - Journal Article
Kožíšek, Milan - Grantz Šašková, Klára - Řezáčová, Pavlína - Brynda, Jiří - Maarseveen van, N. M. - De Jongh, D. - Boucher, Ch. A. B. - Kagan, R. M. - Nijhuis, M. - Konvalinka, Jan
Ninety-nine is not enough: molecular characterization of inhibitor-resistant human immunodeficiency virus type 1 protease mutants with insertions in the flap region.
[Devadesát devět není dost : molekulární charakterizace resistentních mutantů HIV-1 proteasy s inzercemi v oblasti chlopní.]
Journal of Virology. Roč. 82, č. 12 (2008), s. 5869-5878. ISSN 0022-538X. E-ISSN 1098-5514
R&D Projects: GA MŠMT 1M0508; GA MZd NR8571
Institutional research plan: CEZ:AV0Z40550506; CEZ:AV0Z50520514
Keywords : HIV protease inhibitors * aspartic proteases * viral resistance * insertions
Subject RIV: CE - Biochemistry
Impact factor: 5.308, year: 2008
Permanent Link: http://hdl.handle.net/11104/0163665