%0 Generic
%T Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas
%A Cardelli, Luca
%A Larsen, Kim G.
%A Mardare, Radu
%A Luca Cardelli and Kim G. Larsen and Radu Mardare
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K probabilistic logic
%K Markov processes
%K metric semantics
%K axiomatization
%D 2011
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation