Zobrazeno 1 - 8
of 8
pro vyhledávání: '"M. Claren"'
Autor:
M. Clarence Protin, Gilda Ferreira
Publikováno v:
Logical Methods in Computer Science, Vol Volume 18, Issue 3 (2022)
It is well-known that typability, type inhabitation and type inference are undecidable in the Girard-Reynolds polymorphic system F. It has recently been proven that type inhabitation remains undecidable even in the predicative fragment of system F in
Externí odkaz:
https://doaj.org/article/ca7ce011721f4ebf82d76778dbb4bdb5
Autor:
W. Deichsel, H. Steiner, H. -G. Hillemanns, S. Potthoff, H. W. Schlößer, R. Terinde, R. Staib, D. Grüneklee, D. Karch, M. Cornelissen, N. Južnić, M. Majstorović, L. Vojvodić, R. Gysler, J. Eberhard, W. D. Lehmann, W. Jonatha, H. Brandt, S. Hamdan, R. G. Scheidt, W. M. Fischer, K. W. Tietze, G. Fisch, P. Jaedicke, M. Claren, S. Bartholomeyczik, E. Bartholomeyczik, B. Koutifaris, D. Kalogirou, G. Christodoulakos, A. Kontoravdis, P. Zourlas, P. Hohlweg-Majert, C. P. Möller, J. Bahnsen, D. Krebs, H. H. Bräutigam, H. Weiss, K. Emmer, W. Ott, R. Rasenack, M. Steiner, H. -D. Brackebusch, K. Semm, P. Knapstein, H. Bender, F. Melchert, P. Bandilla, D. Busche, E -J. Hickl, N. Höhn, W. Wiest, M. Rotter, W. Künzel, E. Kastendieck, C. S. Kurz, H. Ritzmann, L. Heilmann, R. Callies, H. -J. Genz, K. Csontos, M. Rust, W. Mahr, M. Hegemann, V. Höllt, C. Gramsch, W. Kromer, H. Teschemacher, M. Bauer, D. Fournier, F. Kubli
Publikováno v:
Archives of Gynecology. 228:110-119
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3fbcbcfdd156e58b4079b1165bb4b987
https://doi.org/10.1007/bf02427495
https://doi.org/10.1007/bf02427495
Publikováno v:
Fortschritte der Medizin. 97(24)
Some results from the pregnancy surveillance booklet documentation are discussed in this paper. These results were gained on the basis of data from a representative random sample taken in Rheinland-Pfalz in 1977. Unfortunately, the risk factors secti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmid________::85720d69d238edacdaf7819ecd881660
https://pubmed.ncbi.nlm.nih.gov/457004
https://pubmed.ncbi.nlm.nih.gov/457004
Periodical
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:
M' Claren, Donald C.
Publikováno v:
Evangelical Guardian, The; 6/1/1844, Vol. 2 Issue 1, p42-43, 2p
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.
Publikováno v:
Fortschritte der Medizin [Fortschr Med] 1979 Jun 28; Vol. 97 (24), pp. 1127-31.