pith. sign in

Catherine Meadows (U.S. Naval Research Laboratory)

Identifiers

  • name variant Catherine Meadows (U.S. Naval Research Laboratory) 0.60 · backfill

Papers (1)

  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