( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Quantitative Algebraic Reasoning.

, , и . LICS, стр. 700-709. ACM, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Leo Prakash

Prakash Chandra

Dharma Prakash

Aruna Prakash

Prakash Sadashivappa

 

Другие публикации лиц с тем же именем

Guest Editors' Foreword., и . Nord. J. Comput., 9 (1): 69 (2002)Approximate reasoning for real-time probabilistic processes., , и . Logical Methods in Computer Science, (2006)The Search for Structure in Quantum Computation.. FoSSaCS, том 6604 из Lecture Notes in Computer Science, стр. 1-11. Springer, (2011)Dexter Kozen's Influence on the Theory of Labelled Markov Processes.. Logic and Program Semantics, том 7230 из Lecture Notes in Computer Science, стр. 334-337. Springer, (2012)Bicategories of Markov Processes., , и . Models, Algorithms, Logics and Tools, том 10460 из Lecture Notes in Computer Science, стр. 112-124. Springer, (2017)Probabilistic bisimulation.. ACM SIGLOG News, 2 (3): 72-84 (2015)Semantics of Networks Containing Indeterminate Operators., и . Seminar on Concurrency, том 197 из Lecture Notes in Computer Science, стр. 479-496. Springer, (1984)On the expressive power of first-order boolean functions in PCF., и . Theor. Comput. Sci., 266 (1-2): 543-567 (2001)Riemannian Diffusion Models., , , , и . CoRR, (2022)Bisimulation and cocongruence for probabilistic systems., , , и . Inf. Comput., 204 (4): 503-523 (2006)