Zobrazeno 1 - 10
of 101
pro vyhledávání: '"POST, ERIK"'
Autor:
Genovese, Fabrizio, Gryzlov, Alex, Herold, Jelle, Knispel, Andre, Perone, Marco, Post, Erik, Videla, André
Publikováno v:
EPTCS 323, 2020, pp. 246-254
We introduce idris-ct, a Idris library providing verified type definitions of categorical concepts.idris-ct strives to be a bridge between academy and industry, catering both to category theorists who want to implement and try their ideas in a practi
Externí odkaz:
http://arxiv.org/abs/1912.06191
We review some of the endeavors in trying to connect Petri nets with free symmetric monoidal categories. We give a list of requirement such connections should respect if they are meant to be useful for practical/implementation purposes. We show how p
Externí odkaz:
http://arxiv.org/abs/1904.12974
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:
Post, Erik.
Univ., Diss.--Uppsala, 2007.
Externí odkaz:
http://www.gbv.de/dms/zbw/551311959.pdf
Autor:
Post, Erik
Diss. Uppsala : Uppsala universitet, 2007.
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-7808
Autor:
Post, Erik1 (AUTHOR)
Publikováno v:
Journal of Latin American Geography. Dec2022, Vol. 21 Issue 3, p1-48. 48p.
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:
Post, Erik
The rapacious planetary extraction of energy and materials and associated socioecological violence have culminated in overlapping ecological, social, and political crises. With the advent of global initiatives that seek to address these crises and si
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=openedition_::e3bab0ef43c295198a31a59a58b630b4
https://journals.openedition.org/poldev/5376
https://journals.openedition.org/poldev/5376
Autor:
Post, Erik1 erikbaspost@gmail.com, Wagenaar, Inge2, Brandsma, Wim3, Bowers, Bob4, Alam, Khorshed4, Shetty, Vanaja5, Pai, Vivek6, Husain, Sajid7, Prakoeswa, Cita Rosita Sigit8, Astari, Linda8, Hagge, Deanna9, Shah, Mahesh9, Neupane, Kapil9, Lama, Krishna10, Nicholls, Peter11, Richardus, Jan Hendrik2
Publikováno v:
Leprosy Review. Sep2021, Vol. 92 Issue 3, p236-246. 11p.
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.