UNC - Conicet)

Identifiers

• name variant UNC - Conicet) 0.60 · backfill

Papers (1)

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