| Originalsprog | Engelsk |
|---|---|
| Bogserie | Lecture Notes in Computer Science |
| Vol/bind | 6756 LNCS |
| Sider (fra-til) | 380-391 |
| Antal sider | 12 |
| ISSN | 0302-9743 |
| DOI | |
| Status | Udgivet - 1 jan. 2011 |
| Begivenhed | 38th International Colloquium on Automata, Languages and Programming - Zurich, Schweiz Varighed: 4 jul. 2011 → 8 jul. 2011 Konferencens nummer: 38 |
Konference
| Konference | 38th International Colloquium on Automata, Languages and Programming |
|---|---|
| Nummer | 38 |
| Land | Schweiz |
| By | Zurich |
| Periode | 04/07/2011 → 08/07/2011 |
Fingerprint
Bibliografisk note
Proceedings of the 38th International Colloquium on Automata, Languages and Programming. Aceto, L., Henzinger, M. & Sgall, J. (eds.)Citer dette
}
Modular Markovian logic. / Cardelli, L.; Larsen, Kim Guldstrand; Mardare, R.
I: Lecture Notes in Computer Science, Bind 6756 LNCS, 01.01.2011, s. 380-391.Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
TY - GEN
T1 - Modular Markovian logic
AU - Cardelli, L.
AU - Larsen, Kim Guldstrand
AU - Mardare, R.
N1 - Proceedings of the 38th International Colloquium on Automata, Languages and Programming. Aceto, L., Henzinger, M. & Sgall, J. (eds.)
PY - 2011/1/1
Y1 - 2011/1/1
UR - http://www.scopus.com/inward/record.url?scp=79959927796&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-22012-8_30
DO - 10.1007/978-3-642-22012-8_30
M3 - Conference article in Journal
AN - SCOPUS:79959927796
VL - 6756 LNCS
SP - 380
EP - 391
JO - Lecture Notes in Computer Science
JF - Lecture Notes in Computer Science
SN - 0302-9743
ER -