Showing 1 - 2 results of 2 for search 'Y. Feldman', query time: 0.03s Refine Results
  1. 1
    Distinguishability between ancient and modern leaded tin bronzes by the composition of their lead inclusions

    Distinguishability between ancient and modern leaded tin bronzes by the composition of their lead inclusions by S. Shilstein, A. Berner, Y. Feldman, S. Shalev, Yu. Rosenberg

    Published 2019-12-01
    Get full text
    Article
  2. 2
    Bounded Quantifier Instantiation for Checking Inductive Invariants

    Bounded Quantifier Instantiation for Checking Inductive Invariants by Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham

    Published 2019-08-01
    Get full text
    Article

Search Tools: