Travelled to:
1 × Spain
Collaborated with:
S.Anantharaman P.Narendran M.Rusinowitch
Talks about:
modulo (1) chain (1) unif (1)
Person: Christopher Bouchard
DBLP: Bouchard:Christopher
Contributed to:
Wrote 1 papers:
- LATA-2012-AnantharamanBNR #unification
- Unification Modulo Chaining (SA, CB, PN, MR), pp. 70–82.