Luca Cardelli (Microsoft Research Cambridge

Identifiers

• name variant Luca Cardelli (Microsoft Research Cambridge 0.60 · backfill

Papers (1)

1. Continuous Markovian Logics - Axiomatization and Quantified Metatheory cs.LO · 2012 · author #3

Mentions

• 1211.5190 #3 · backfill · confidence 0.70 Luca Cardelli (Microsoft Research Cambridge

Frequent Coauthors

• Denmark) 1 shared papers
• Kim G. Larsen (Aalborg University 1 shared papers
• Radu Mardare (Aalborg University 1 shared papers
• UK) 1 shared papers