| Publication | Date of Publication | Type |
|---|
Completeness of the first-order logic of partial quasiary predicates with the complement composition
Computer Science Journal of Moldova | 2020-11-02 | Paper |
On an algorithmic algebra over simple-named complex-valued nominative data
Formalized Mathematics | 2019-07-10 | Paper |
On algebras of algorithms and specifications over uninterpreted data
Formalized Mathematics | 2019-07-10 | Paper |
An inference system of an extension of Floyd-Hoare logic for partial predicates
Formalized Mathematics | 2019-07-10 | Paper |
Partial correctness of GCD algorithm
Formalized Mathematics | 2019-07-10 | Paper |
| scientific article; zbMATH DE number 6985464 (Why is no real title available?) | 2018-11-27 | Paper |
Kleene algebra of partial predicates
Formalized Mathematics | 2018-10-17 | Paper |
Composition-nominative logics as institutions
Logica Universalis | 2018-08-06 | Paper |
Implementation of the composition-nominative approach to program formalization in Mizar
Computer Science Journal of Moldova | 2018-07-03 | Paper |
Semantic properties of \(T\)-consequence relation in logics of quasiary predicates
Computer Science Journal of Moldova | 2018-07-03 | Paper |
Set-theoretic analysis of nominative data
Computer Science Journal of Moldova | 2018-07-03 | Paper |
Proving properties of programs on hierarchical nominative data
Computer Science Journal of Moldova | 2018-07-03 | Paper |
Nominative data with ordered set of names
Computer Science Journal of Moldova | 2018-07-03 | Paper |
Simple-named complex-valued nominative data -- definition and basic operations
Formalized Mathematics | 2018-01-11 | Paper |
| Properties of quasiary specification algebras | 2017-11-21 | Paper |
| Algebras and logics of partial quasiary predicates | 2017-10-06 | Paper |
Event-based proof of the mutual exclusion property of Peterson's algorithm
Formalized Mathematics | 2016-04-20 | Paper |
Basics of intensionalized data: presets, sets, and nominats
Computer Science Journal of Moldova | 2015-08-06 | Paper |
| Composition of preimage condition construction in monotone Floyd-Hoare logics | 2015-06-09 | Paper |
| scientific article; zbMATH DE number 6379368 (Why is no real title available?) | 2014-12-10 | Paper |
| \(V\)-singular semantic models of first-order logics | 2014-12-10 | Paper |
Satisfiability in composition-nominative logics
Central European Journal of Computer Science | 2014-04-14 | 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 |
Algebras of multivalued tolerant-stable 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 |
Semantic properties of monotone Floyd-Hoare logics
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 aspects of address programming
Cybernetics and Systems Analysis | 2010-01-22 | Paper |
| Algebra of multivalued equiton predicates | 2006-05-24 | Paper |
| scientific article; zbMATH DE number 2169228 (Why is no real title available?) | 2005-05-20 | Paper |
| scientific article; zbMATH DE number 1961524 (Why is no real title available?) | 2003-08-07 | Paper |
| scientific article; zbMATH DE number 1885206 (Why is no real title available?) | 2003-03-19 | Paper |
| scientific article; zbMATH DE number 1837686 (Why is no real title available?) | 2002-12-01 | 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 |
