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

Originalsprog	Engelsk
Titel	CSL Computer Science Logic : 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings
Antal sider	15
Vol/bind	12
Forlag	Schloss Dagstuhl. Leibniz-Zentrum für Informatik
Publikationsdato	2011
Sider	144-158
ISBN (Trykt)	978-3-939897-32-3
ISBN (Elektronisk)	978-3-939897-32-3, Marc Bezem
DOI	https://doi.org/10.4230/LIPIcs.CSL.2011.144
Status	Udgivet - 2011

Adgang til dokumentet

• 10.4230/LIPIcs.CSL.2011.144

• http://drops.dagstuhl.de/opus/volltexte/2011/3228/pdf/15.pdf

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Projekter

• 1 Afsluttet

Projekter pr. år

• Modular Markovian Logics for Analysis of Stochastic Concurrent Systems

  Mardare, R.

  01/10/2010 → 30/09/2012

  Projekter: Projekt › Forskning

  • Markov Process 100%
  • Stochastics 88%
  • Concurrency 66%
  • Probabilistic Logic 66%
  • Metric Space 66%

Citationsformater

• APA
• Author
• BIBTEX
• Harvard
• Standard
• RIS
• Vancouver

Cardelli, L., Larsen, K. G., & Mardare, R. (2011). Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. I CSL Computer Science Logic: 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings (Bind 12, s. 144-158). Schloss Dagstuhl. Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2011.144

Cardelli, Luca ; Larsen, Kim Guldstrand ; Mardare, Radu. / Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. CSL Computer Science Logic: 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings. Bind 12 Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 2011. s. 144-158

@inproceedings{d5561cdd34ef4fea939e5a293b3510a3,

title = "Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas",

author = "Luca Cardelli and Larsen, {Kim Guldstrand} and Radu Mardare",

year = "2011",

doi = "10.4230/LIPIcs.CSL.2011.144",

language = "English",

isbn = "978-3-939897-32-3",

volume = "12",

pages = "144--158",

booktitle = "CSL Computer Science Logic",

publisher = "Schloss Dagstuhl. Leibniz-Zentrum f{\"u}r Informatik",

}

Cardelli, L, Larsen, KG & Mardare, R 2011, Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. i CSL Computer Science Logic: 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings. bind 12, Schloss Dagstuhl. Leibniz-Zentrum für Informatik, s. 144-158. https://doi.org/10.4230/LIPIcs.CSL.2011.144

Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. / Cardelli, Luca; Larsen, Kim Guldstrand; Mardare, Radu.
CSL Computer Science Logic: 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings. Bind 12 Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 2011. s. 144-158.

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

TY - GEN

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

AU - Cardelli, Luca

AU - Larsen, Kim Guldstrand

AU - Mardare, Radu

PY - 2011

Y1 - 2011

U2 - 10.4230/LIPIcs.CSL.2011.144

DO - 10.4230/LIPIcs.CSL.2011.144

M3 - Article in proceeding

SN - 978-3-939897-32-3

VL - 12

SP - 144

EP - 158

BT - CSL Computer Science Logic

PB - Schloss Dagstuhl. Leibniz-Zentrum für Informatik

ER -

Cardelli L, Larsen KG, Mardare R. Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. I CSL Computer Science Logic: 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings. Bind 12. Schloss Dagstuhl. Leibniz-Zentrum für Informatik. 2011. s. 144-158 doi: 10.4230/LIPIcs.CSL.2011.144