Projekter pr. år
Abstract
The Bulletin of Symbolic Logic, the meeting report of Logic Colloquium 2011.
| Originalsprog | Engelsk |
|---|---|
| Tidsskrift | Bulletin of Symbolic Logic |
| Vol/bind | 18 |
| Udgave nummer | 3 |
| Sider (fra-til) | 455 |
| ISSN | 1079-8986 |
| Status | Udgivet - sep. 2012 |
| Begivenhed | Logic Colloquium 2011 - Barcelona, Spanien Varighed: 11 jul. 2011 → 16 jul. 2011 |
Konference
| Konference | Logic Colloquium 2011 |
|---|---|
| Land/Område | Spanien |
| By | Barcelona |
| Periode | 11/07/2011 → 16/07/2011 |
Fingeraftryk
Dyk ned i forskningsemnerne om 'Probabilistic logic and the metric space of logical formulas'. Sammen danner de et unikt fingeraftryk.Projekter
- 1 Afsluttet
-
Modular Markovian Logics for Analysis of Stochastic Concurrent Systems
Mardare, R.
01/10/2010 → 30/09/2012
Projekter: Projekt › Forskning