Valentyn G. Tymofieiev

According to our database1, Valentyn G. Tymofieiev authored at least 3 papers in 2012.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2012
Satisfiability in composition-nominative logics.
Central Europ. J. Computer Science, 2012

Composition-Nominative Logics in Rigorous Development of Software Systems.
Proceedings of the Information Systems: Methods, Models, and Applications, 2012

Satisfiability Problem in Composition-Nominative Logics of Quantifier-Equational Level.
Proceedings of the 8th International Conference on ICT in Education, 2012


  Loading...