Atsushi Moritomo

Publication Activity (10 Years)

Years Active: 2004-2004
Publications (10 Years): 0

Publications

Atsushi Moritomo, Kiyoharu Hamaguchi, Toshinobu Kashiwabara
Validity Checking for Quantifier-Free First-Order Logic with Equality Using Substitution of Boolean Formulas. ATVA (2004)