Valentyn G. Tymofieiev

According to our database, Valentyn G. Tymofieiev authored at least 5 papers between 2012 and 2018.

Collaborative distances:

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

2018

Satisfiability Problems in Quasiary Program Logics.

Mykola Nikitchenko, Stepan S. Shkilniak, Valentyn G. Tymofieiev

Proceedings of the International Conference Advanced Computer Information Technologies, 2018

2012

Satisfiability in composition-nominative logics.

Mykola S. Nikitchenko, Valentyn G. Tymofieiev

Central Eur. J. Comput. Sci., 2012

Composition-Nominative Logics in Rigorous Development of Software Systems.

Mykola S. Nikitchenko, Valentyn G. Tymofieiev

Proceedings of the Information Systems: Methods, Models, and Applications, 2012

Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics.

Mykola S. Nikitchenko, Valentyn G. Tymofieiev

Proceedings of the ICT in Education, Research, and Industrial Applications, 2012

Satisfiability Problem in Composition-Nominative Logics of Quantifier-Equational Level.

Mykola S. Nikitchenko, Valentyn G. Tymofieiev

Proceedings of the 8th International Conference on ICT in Education, 2012