Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas

Luca Cardelli, Kim Guldstrand Larsen, Radu Mardare

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

9 Citations (Scopus)
Original languageEnglish
Title of host publicationCSL Computer Science Logic : 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings
Number of pages15
PublisherSchloss Dagstuhl. Leibniz-Zentrum für Informatik
Publication date2011
ISBN (Print)978-3-939897-32-3
ISBN (Electronic)978-3-939897-32-3, Marc Bezem
Publication statusPublished - 2011

Cite this