Zobrazeno 1 - 10
of 301
pro vyhledávání: '"Dzik W"'
Following a characterization [10] of locally tabular logics with finitary (or unitary) unification by their Kripke models we determine the unification types of some intermediate logics (extensions of {\sf INT}). There are exactly four maximal logics
Externí odkaz:
http://arxiv.org/abs/2205.10644
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Dzik, W.1
Publikováno v:
ISBT Science Series. Jan2016 Supplement, Vol. 11, p317-324. 8p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Dzik, W.1 sdzik@partners.org
Publikováno v:
Transfusion Medicine. Aug2008, Vol. 18 Issue 4, p260-265. 6p. 2 Charts.
Autor:
Dzik, W. H.1 sdzik@partners.org
Publikováno v:
Transfusion Medicine. Oct2007, Vol. 17 Issue 5, p367-374. 8p. 2 Diagrams, 1 Graph.
Autor:
Dzik, W. H.1, Murphy, M. F., Andreu, G., Heddle, N., Hogman, C., Kekomaki, R., Murphy, S., Shimizu, M., Smit-Sibinga, C. T.
Publikováno v:
Vox Sanguinis. Jul2003, Vol. 85 Issue 1, p40-47. 8p.
Autor:
Dzik, W., Healy, B., Brunker, P., Ruby, K., Collins, J., Paik, H., Berra, L., Shelton, K., North, C., Makar, R.
Publikováno v:
Transfusion; Oct2023 Supplement 1, Vol. 63, p66A-66A, 1p