Alexander Larionov

According to our database, Alexander Larionov authored at least 3 papers between 2011 and 2016.

Collaborative distances:

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

2016

Positive constructed formulas preprocessing for automatic deduction.

Evgeny A. Cherkashin, Artem Davydov, Alexander Larionov

Proceedings of the 39th International Convention on Information and Communication Technology, 2016

2011

On the calculus of positively constructed formulas for automated theorem proving.

A. V. Davydov, A. A. Larionov, Evgeny A. Cherkashin

Autom. Control. Comput. Sci., 2011

Theorem proving software, based on method of positively-constructed formulae.

A. A. Larionov, Evgeny A. Cherkashin, A. V. Davydov

Proceedings of the MIPRO, 2011