Zobrazeno 1 - 10
of 88
pro vyhledávání: '"Cîrstea C"'
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.
Publikováno v:
Coalgebraic Methods in Computer Science ISBN: 9783030003883
CMCS
14th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2018, 78-99
STARTPAGE=78;ENDPAGE=99;TITLE=14th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2018
CMCS
14th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2018, 78-99
STARTPAGE=78;ENDPAGE=99;TITLE=14th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2018
This paper studies Markov decision processes (MDPs) from the categorical perspective of coalgebra and algebra. Probabilistic systems, similar to MDPs but without rewards, have been extensively studied, also coalgebraically, from the perspective of pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9e24d439e7234890096131944ede990f
http://www.scopus.com/inward/record.url?eid=2-s2.0-85057297578&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-85057297578&partnerID=MN8TOARS
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.
Publikováno v:
Algebra and Coalgebra in Computer Science ISBN: 9783642229435
CALCO
Lecture Notes in Computer Science ; 6859, 237-252. Berlin : Springer
STARTPAGE=237;ENDPAGE=252;TITLE=Lecture Notes in Computer Science ; 6859
Logical Methods in Computer Science, 9, 23(1)-23(21)
Corradini, A.; Klin, B.; Cîrstea, C. (ed.), Algebra and Coalgebra in Computer Science : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings, pp. 237-252
Logical Methods in Computer Science, 9, 3, pp. 23(1)-23(21)
CALCO
Lecture Notes in Computer Science ; 6859, 237-252. Berlin : Springer
STARTPAGE=237;ENDPAGE=252;TITLE=Lecture Notes in Computer Science ; 6859
Logical Methods in Computer Science, 9, 23(1)-23(21)
Corradini, A.; Klin, B.; Cîrstea, C. (ed.), Algebra and Coalgebra in Computer Science : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings, pp. 237-252
Logical Methods in Computer Science, 9, 3, pp. 23(1)-23(21)
The free algebra adjunction, between the category of algebras of a monad and the underlying category, induces a comonad on the category of algebras. The coalgebras of this comonad are the topic of study in this paper (following earlier work). It is i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::79d513920a7ecfc39a675885a0b95f02
https://doi.org/10.2168/lmcs-9(3:23)2013
https://doi.org/10.2168/lmcs-9(3:23)2013