pith. sign in

Michael Vainer

Identifiers

  • name variant Michael Vainer 0.60 · backfill

Papers (1)

  1. Bounded Termination of Monotonicity-Constraint Transition Systems cs.LO · 2012 · author #2

Mentions

  • 1202.4281 #2 · backfill · confidence 0.70 Michael Vainer

Frequent Coauthors