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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

9 Citationer (Scopus)
OriginalsprogEngelsk
TitelCSL Computer Science Logic : 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings
Antal sider15
Vol/bind12
ForlagSchloss Dagstuhl. Leibniz-Zentrum für Informatik
Publikationsdato2011
Sider144-158
ISBN (Trykt)978-3-939897-32-3
ISBN (Elektronisk)978-3-939897-32-3, Marc Bezem
DOI
StatusUdgivet - 2011

Citationsformater