Atsushi Moritomo

According to our database, Atsushi Moritomo authored at least 1 paper in 2004.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2004

Validity Checking for Quantifier-Free First-Order Logic with Equality Using Substitution of Boolean Formulas.

Atsushi Moritomo, Kiyoharu Hamaguchi, Toshinobu Kashiwabara

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004