Valentyn G. Tymofieiev
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
1
Active years
2012–2012
Best venue rank
National
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ICTERI | Satisfiability Problem in Composition-Nominative Logics of Quantifier-Equational Level. | Mykola S. Nikitchenko, Valentyn G. Tymofieiev |
| 2012 | ICTERI | Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics. | Mykola S. Nikitchenko, Valentyn G. Tymofieiev |