Valentyn G. Tymofieiev

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 1

Top Topics

Mazurkiewicz Traces

Satisfiability Problem

Top Venues

Publications

Mykola Nikitchenko, Stepan S. Shkilniak, Valentyn G. Tymofieiev
Satisfiability Problems in Quasiary Program Logics. ACIT (2018)
Mykola S. Nikitchenko, Valentyn G. Tymofieiev
Satisfiability Problem in Composition-Nominative Logics of Quantifier-Equational Level. ICTERI (2012)
Mykola S. Nikitchenko, Valentyn G. Tymofieiev
Composition-Nominative Logics in Rigorous Development of Software Systems. UNISCON (2012)
Mykola S. Nikitchenko, Valentyn G. Tymofieiev
Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics. ICTERI (Revised Selected Papers) (2012)
Mykola S. Nikitchenko, Valentyn G. Tymofieiev
Satisfiability in composition-nominative logics. Central Eur. J. Comput. Sci. 2 (3) (2012)