Travelled to:1 × France
1 × USA
1 × United Kingdom
Collaborated with:P.Narendran S.Erbatur C.Ringeissen D.Kapur C.Meadows
Talks about:combin (3) theori (2) unif (2) constructor (1) distribut (1) algorithm (1) knowledg (1) hierarch (1) disjoint (1) asymmetr (1)
Person: Andrew M. Marshall
DBLP: Marshall:Andrew_M=
Contributed to:
2014
2013
20122017Wrote 4 papers:
- FoSSaCS-2014-ErbaturKMMNR #on the #problem #symmetry #unification
- On Asymmetric Unification and the Combination Problem in Disjoint Theories (SE, DK, AMM, CM, PN, CR), pp. 274–288.
- CADE-2013-ErbaturKMNR
- Hierarchical Combination (SE, DK, AMM, PN, CR), pp. 249–266.
- IJCAR-2012-MarshallN #algorithm #unification
- New Algorithms for Unification Modulo One-Sided Distributivity and Its Variants (AMM, PN), pp. 408–422.
- CADE-2017-ErbaturMR
- Notions of Knowledge in Combinations of Theories Sharing Constructors (SE, AMM, CR), pp. 60–76.