Zobrazeno 1 - 10
of 40
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::264266ae0b440b36ffd2b1660922fcd7
https://doi.org/10.4230/lipics.fscd.2019.12
https://doi.org/10.4230/lipics.fscd.2019.12
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.
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.
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.