Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Rivière Cédric"'
Autor:
Meurisse Quentin, De Smet Isabelle, Mélot Hadrien, Laplume David, Brihaye Thomas, Rivière Cédric, Coszach Emeline, Cenci Jérémy, Koutra Sesil, Becue Vincent
Publikováno v:
SHS Web of Conferences, Vol 82, p 03004 (2020)
En vue d'une densification urbaine durable, un outil ayant pour but d'évaluer et d'assister la conception d'îlots urbains compacts pourvus d'une densité de population cible a été créé et testé dans le cadre du projet CoMod. Le concept de comp
Externí odkaz:
https://doaj.org/article/977420def75740a8afc8e64f036aa37d
In [ABM07], Abdulla et al. introduced the concept of decisiveness, an interesting tool for lifting good properties of finite Markov chains to denumerable ones. Later, this concept was extended to more general stochastic transition systems (STSs), all
Externí odkaz:
http://arxiv.org/abs/2009.13152
Publikováno v:
EPTCS 326, 2020, pp. 149-165
In [ABM07], Abdulla et al. introduced the concept of decisiveness, an interesting tool for lifting good properties of finite Markov chains to denumerable ones. Later, this concept was extended to more general stochastic transition systems (STSs), all
Externí odkaz:
http://arxiv.org/abs/2001.04347
Publikováno v:
In Information and Computation November 2022 289 Part B
Publikováno v:
In Annals of Pure and Applied Logic 2009 159(1):111-128
Autor:
Derycke, D., Martin, G., Meurisse, Quentin, De Smet, Isabelle, Mélot, Hadrien, Laplume, David, Brihaye, Thomas, Rivière, Cédric, Coszach, Emeline, Cenci, Jérémy, Koutra, Sesil, Becue, Vincent
Publikováno v:
SHS Web of Conferences; 2020, Vol. 82, p1-11, 11p
Autor:
Rivière, Cédric1 criviere@logique.jussieu.fr
Publikováno v:
Mathematical Logic Quarterly. Jul2006, Vol. 52 Issue 4, p331-339. 9p.
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.