Login / Signup
Anh-Dung Phan
Publication Activity (10 Years)
Years Active: 2012-2015
Publications (10 Years): 0
Top Topics
Functional Programming
Quantifier Elimination
Linear Time Temporal Logic
Decision Procedures
Top Venues
SCSS
Ann. Math. Artif. Intell.
J. Log. Algebraic Methods Program.
SMT@IJCAR
</>
Publications
</>