Pierre Boutillier
Identifiers
- name variant Pierre Boutillier 0.60 · backfill
Papers (2)
- Dynamic Influence Networks for Rule-based Models cs.GR · 2017 · author #5
- New Equations for Neutral Terms: A Sound and Complete Decision Procedure, Formalized cs.PL · 2013 · author #2
Mentions
- 1304.0809 #2 · backfill · confidence 0.70 Pierre Boutillier
Frequent Coauthors
- Andrew Burks 1 shared papers
- Angus G. Forbes 1 shared papers
- Conor McBride 1 shared papers
- Guillaume Allais 1 shared papers
- Jean Krivine 1 shared papers
- Kristine Lee 1 shared papers
- Walter Fontana 1 shared papers
- Xing Li 1 shared papers