( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Decidable Extensions of Hennessy-Milner Logic.

, и . FORTE, том 4229 из Lecture Notes in Computer Science, стр. 196-211. Springer, (2006)

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.

Adolf Radusch

Hans-Joachim Raduach

Florin Radu

Georgeta Radu

Konrad Radunski

 

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

Free complete Wasserstein algebras., , и . CoRR, (2018)Fixed-Points for Quantitative Equational Logics., , и . LICS, стр. 1-13. IEEE, (2021)An Observer-Based de-Quantisation of Deutsch's Algorithm., , и . Int. J. Found. Comput. Sci., 22 (1): 191-201 (2011)Model Checking Biological Systems Described Using Ambient Calculus., , , и . CMSB, том 3082 из Lecture Notes in Computer Science, стр. 85-103. Springer, (2004)The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models., , , и . QEST, том 8054 из Lecture Notes in Computer Science, стр. 278-281. Springer, (2013)On-the-Fly Exact Computation of Bisimilarity Distances., , , и . TACAS, том 7795 из Lecture Notes in Computer Science, стр. 1-15. Springer, (2013)Complete proof systems for weighted modal logic., и . Theor. Comput. Sci., (2014)Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas., , и . CSL, том 12 из LIPIcs, стр. 144-158. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)A Complete Axiomatic System for a Process-Based Spatial Logic., и . MFCS, том 5162 из Lecture Notes in Computer Science, стр. 491-502. Springer, (2008)Observing Distributed Computation. A Dynamic-Epistemic Approach.. CALCO, том 4624 из Lecture Notes in Computer Science, стр. 379-393. Springer, (2007)