Mingyi Zhang

Publication Activity (10 Years)

Years Active: 1989-2016
Publications (10 Years): 1

Top Topics

Fixpoint Semantics

Strong Equivalence

Top Venues

ILP (Short Papers)

J. Artif. Intell. Res.

Publications