Catherine Meadows (U.S. Naval Research Laboratory)
Identifiers
- name variant Catherine Meadows (U.S. Naval Research Laboratory) 0.60 · backfill
Papers (1)
- On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry cs.LO · 2015 · author #2
Mentions
- 1503.06687 #2 · backfill · confidence 0.70 Catherine Meadows (U.S. Naval Research Laboratory)
Frequent Coauthors
- Andrew M Marshall (The University of Mary Washington) 1 shared papers
- Paliath Narendran (University at Albany 1 shared papers
- SUNY) 1 shared papers