Projects per year
Abstract
The Bulletin of Symbolic Logic, the meeting report of Logic Colloquium 2011.
Original language | English |
---|---|
Journal | Bulletin of Symbolic Logic |
Volume | 18 |
Issue number | 3 |
Pages (from-to) | 455 |
ISSN | 1079-8986 |
Publication status | Published - Sept 2012 |
Event | Logic Colloquium 2011 - Barcelona, Spain Duration: 11 Jul 2011 → 16 Jul 2011 |
Conference
Conference | Logic Colloquium 2011 |
---|---|
Country/Territory | Spain |
City | Barcelona |
Period | 11/07/2011 → 16/07/2011 |
Fingerprint
Dive into the research topics of 'Probabilistic logic and the metric space of logical formulas'. Together they form a unique fingerprint.Projects
- 1 Finished
-
Modular Markovian Logics for Analysis of Stochastic Concurrent Systems
Mardare, R. (Project Participant)
01/10/2010 → 30/09/2012
Project: Research