UNC - Conicet)
Identifiers
- name variant UNC - Conicet) 0.60 · backfill
Papers (1)
- Tree rules in probabilistic transition system specifications with negative and quantitative premises cs.PL · 2012 · author #2
Mentions
- 1208.2752 #2 · backfill · confidence 0.70 UNC - Conicet)
Frequent Coauthors
- Daniel Gebler (VU University Amsterdam) 1 shared papers
- Matias David Lee (Famaf 1 shared papers
- Pedro R. D'Argenio (Famaf 1 shared papers