Zobrazeno 1 - 10
of 189
pro vyhledávání: '"Czajka L"'
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.
Tandis que la Côte d'Ivoire a renoué avec la croissance depuis 2011 et se place sous les auspices de plans de développement ambitieux, les enquêtes sur le niveau de vie des ménages couvrant les trois dernières décennies montrent tout à la foi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______932::15c770b5a08063bf19c95f597831dea0
http://www.documentation.ird.fr/hor/fdi:010073863
http://www.documentation.ird.fr/hor/fdi:010073863
Publikováno v:
Geuvers, H. (ed.), FSCD 2019: 4th International Conference on Formal Structures for Computation and Deduction, June 24-30, 2019, Dortmund, Germany, 12:1-12:18. Dagstuhl : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
STARTPAGE=12:1;ENDPAGE=12:18;ISSN=1868-8969;TITLE=Geuvers, H. (ed.), FSCD 2019: 4th International Conference on Formal Structures for Computation and Deduction, June 24-30, 2019, Dortmund, Germany
Geuvers, H. (ed.), FSCD 2019: 4th International Conference on Formal Structures for Computation and Deduction, June 24-30, 2019, Dortmund, Germany, pp. 12:1-12:18
STARTPAGE=12:1;ENDPAGE=12:18;ISSN=1868-8969;TITLE=Geuvers, H. (ed.), FSCD 2019: 4th International Conference on Formal Structures for Computation and Deduction, June 24-30, 2019, Dortmund, Germany
Geuvers, H. (ed.), FSCD 2019: 4th International Conference on Formal Structures for Computation and Deduction, June 24-30, 2019, Dortmund, Germany, pp. 12:1-12:18
We generalise the termination method of higher-order polynomial interpretations to a setting with impredicative polymorphism. Instead of using weakly monotonic functionals, we interpret terms in a suitable extension of System F-omega. This enables a
Autor:
Sonakowska-Czajka L; University of Silesia in Katowice, Faculty of Natural Sciences, Institute of Biology, Biotechnology and Environmental Protection, Katowice, Poland., Śróbka J; University of Silesia in Katowice, Faculty of Natural Sciences, Institute of Biology, Biotechnology and Environmental Protection, Katowice, Poland., Ostróżka A; University of Silesia in Katowice, Faculty of Natural Sciences, Institute of Biology, Biotechnology and Environmental Protection, Katowice, Poland., Rost-Roszkowska M; University of Silesia in Katowice, Faculty of Natural Sciences, Institute of Biology, Biotechnology and Environmental Protection, Katowice, Poland.
Publikováno v:
Journal of morphology [J Morphol] 2021 Jan; Vol. 282 (1), pp. 48-65. Date of Electronic Publication: 2020 Oct 19.
Autor:
Ostróżka, A.1 (AUTHOR), Chajec, Ł.1 (AUTHOR), Wilczek, G.1 (AUTHOR), Student, S.2,3 (AUTHOR), Kocot, K.4 (AUTHOR), Homa, J.5 (AUTHOR), Rost-Roszkowska, M.1 (AUTHOR) magdalena.rost-roszkowska@us.edu.pl
Publikováno v:
European Zoological Journal. Jun2024, Vol. 91 Issue 1, p180-205. 26p.
Autor:
Anderwald, Dariusz1 (AUTHOR) dariusz_anderwald@sggw.edu.pl, Sławski, Marek2 (AUTHOR) grzegorz_zawadzki@sggw.edu.pl, Zadworny, Tomasz3 (AUTHOR) tomasz.zadworny@lodz.rdos.gov.pl, Zawadzki, Grzegorz2 (AUTHOR)
Publikováno v:
Animals (2076-2615). Jun2024, Vol. 14 Issue 11, p1558. 15p.
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:
International Journal of Economics & Financial Issues (IJEFI). 2024, Vol. 14 Issue 5, p299-316. 18p.
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.