| Publication | Date of Publication | Type |
|---|
| Systems of logical reasoning in logics of free-quantifier functional levels | 2017-07-11 | Paper |
Free-quantifier functional logics of partial quasi-ary predicates
Visnyk. Seriya: Fizyko-Matematychni Nauky. Kyïvs'kyĭ Universytet Imeni Tarasa Shevchenka | 2016-09-27 | Paper |
| Renominative composition-nominative logics with predicates of equality | 2015-06-09 | Paper |
| scientific article; zbMATH DE number 6379368 (Why is no real title available?) | 2014-12-10 | Paper |
| Semantic properties of logics of partial predicates with extended renominations | 2014-02-17 | Paper |
| Logics of partial predicates with extended renominations and quantifiers | 2014-02-17 | Paper |
Composition-nominative logics of quasi-ary predicates: semantic aspects
Visnyk. Seriya: Fizyko-Matematychni Nauky. Kyïvs'kyĭ Universytet Imeni Tarasa Shevchenka | 2013-09-26 | Paper |
Sequent calculi for logics of partial and multi-valued quasi-ary predicates
Visnyk. Seriya: Fizyko-Matematychni Nauky. Kyïvs'kyĭ Universytet Imeni Tarasa Shevchenka | 2013-09-26 | Paper |
Sequent calculi construction for pure first-order composition-nominative logics of single-valued partial predicates
Visnyk. Seriya: Fizyko-Matematychni Nauky. Kyïvs'kyĭ Universytet Imeni Tarasa Shevchenka | 2013-09-26 | Paper |
| Two-valued and many-valued composition-nominative logics | 2013-01-08 | Paper |
First-order composition-nominative logics
Visnyk. Seriya: Fizyko-Matematychni Nauky. Kyïvs'kyĭ Universytet Imeni Tarasa Shevchenka | 2012-07-16 | Paper |
Construction of modal logics of temporal and epistemic type on the basis of the composition-nominative approach
Visnyk. Seriya: Fizyko-Matematychni Nauky. Kyïvs'kyĭ Universytet Imeni Tarasa Shevchenka | 2012-07-16 | Paper |
| Composition nominative logics of quasi-ary predicates | 2006-05-24 | Paper |
| scientific article; zbMATH DE number 2169314 (Why is no real title available?) | 2005-05-20 | Paper |
| scientific article; zbMATH DE number 2169078 (Why is no real title available?) | 2005-05-20 | Paper |
| scientific article; zbMATH DE number 2169154 (Why is no real title available?) | 2005-05-20 | Paper |
| scientific article; zbMATH DE number 2169189 (Why is no real title available?) | 2005-05-20 | Paper |
| scientific article; zbMATH DE number 2058984 (Why is no real title available?) | 2004-03-16 | Paper |
| scientific article; zbMATH DE number 1961528 (Why is no real title available?) | 2003-08-07 | Paper |
| scientific article; zbMATH DE number 1885175 (Why is no real title available?) | 2003-03-19 | Paper |
| scientific article; zbMATH DE number 1885210 (Why is no real title available?) | 2003-03-19 | Paper |
| scientific article; zbMATH DE number 1885256 (Why is no real title available?) | 2003-03-19 | Paper |
| scientific article; zbMATH DE number 1837666 (Why is no real title available?) | 2002-12-01 | Paper |
| scientific article; zbMATH DE number 1837686 (Why is no real title available?) | 2002-12-01 | Paper |
| scientific article; zbMATH DE number 1738632 (Why is no real title available?) | 2002-05-07 | Paper |
Composition nominative first order logics
Visnyk. Seriya: Fizyko-Matematychni Nauky. Kyïvs'kyĭ Universytet Imeni Tarasa Shevchenka | 2001-10-09 | Paper |
Investigation of properties of pure neoclassical calculi
Visnyk. Seriya: Fizyko-Matematychni Nauky. Kyïvs'kyĭ Universytet Imeni Tarasa Shevchenka | 2001-10-09 | Paper |
Composition nominative first order calculi
Visnyk. Seriya: Fizyko-Matematychni Nauky. Kyïvs'kyĭ Universytet Imeni Tarasa Shevchenka | 2001-10-09 | Paper |
Pure composition nominative calculi
Visnyk. Seriya: Fizyko-Matematychni Nauky. Kyïvs'kyĭ Universytet Imeni Tarasa Shevchenka | 2001-09-11 | Paper |
Composition nominative logics of equitone predicates
Visnyk. Seriya: Fizyko-Matematychni Nauky. Kyïvs'kyĭ Universytet Imeni Tarasa Shevchenka | 2001-09-11 | Paper |
| scientific article; zbMATH DE number 4189199 (Why is no real title available?) | 1989-01-01 | Paper |
Syntactic structure of programming languages
Programming and Computer Software | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3560784 (Why is no real title available?) | 1977-01-01 | Paper |
Syntactic analysis of programming languages using the involution method
Programming and Computer Software | 1976-01-01 | Paper |
