Panchenko, T. V.; Ivanov, Ye. V.; Fabunmi, Sunmade; Skidonenko, A. V.; Trofymenko, Ye. O. Extended dynamic state and instances spawning model in IPCL. (Ukrainian. English summary) Zbl 1413.68017 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2017, No. 4, 127-130 (2017). MSC: 68N15 68N19 PDFBibTeX XMLCite \textit{T. V. Panchenko} et al., Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2017, No. 4, 127--130 (2017; Zbl 1413.68017)
Sunmade, Fabunmi Some atomic operator’s semantics in IPCL. (Ukrainian. English summary) Zbl 1413.68019 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2017, No. 4, 59-62 (2017). MSC: 68N19 PDFBibTeX XMLCite \textit{F. Sunmade}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2017, No. 4, 59--62 (2017; Zbl 1413.68019)
Panchenko, T. V. Parallel programs correctness proof method using simplified state with applications. (English) Zbl 1340.68017 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2015, No. 2, 174-177 (2015). MSC: 68N30 PDFBibTeX XMLCite \textit{T. V. Panchenko}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2015, No. 2, 174--177 (2015; Zbl 1340.68017)
Shkil’nyak, S. S. Semantic properties of logics of partial predicates with extended renominations. (Ukrainian. English summary) Zbl 1289.03019 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2013, No. 3, 297-302 (2013). MSC: 03B60 PDFBibTeX XMLCite \textit{S. S. Shkil'nyak}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2013, No. 3, 297--302 (2013; Zbl 1289.03019)
Astashkin, V. I.; Gachkevych, O. R.; Kozakevych, T. V.; Rawska-Skotniczny, A. Optimization of residual stress state for steel plates under moving heat sources subject to structural transformation. (Ukrainian. English summary) Zbl 1289.74106 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2013, No. 3, 69-72 (2013). MSC: 74K20 74F05 PDFBibTeX XMLCite \textit{V. I. Astashkin} et al., Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2013, No. 3, 69--72 (2013; Zbl 1289.74106)
Shkil’nyak, S. S. Sequent calculi for logics of partial and multi-valued quasi-ary predicates. (Ukrainian. English summary) Zbl 1289.03018 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2012, No. 4, 231-236 (2012). MSC: 03B60 PDFBibTeX XMLCite \textit{S. S. Shkil'nyak}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2012, No. 4, 231--236 (2012; Zbl 1289.03018)
Shkil’nyak, O. S. Sequent calculi of transitional composition-nominative modal logics. (Ukrainian. English summary) Zbl 1289.03017 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2012, No. 4, 225-230 (2012). MSC: 03B60 03B45 03B70 PDFBibTeX XMLCite \textit{O. S. Shkil'nyak}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2012, No. 4, 225--230 (2012; Zbl 1289.03017)
Nikitchenko, M. S.; Shkil’nyak, S. S. Composition-nominative logics of quasi-ary predicates: semantic aspects. (Ukrainian. English summary) Zbl 1289.03014 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2012, No. 4, 165-172 (2012). MSC: 03B60 PDFBibTeX XMLCite \textit{M. S. Nikitchenko} and \textit{S. S. Shkil'nyak}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2012, No. 4, 165--172 (2012; Zbl 1289.03014)
Shkil’nyak, O. S. Semantic aspects of transitional composition-nominative modal logics. (Ukrainian. English summary) Zbl 1289.03016 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2012, No. 3, 273-278 (2012). MSC: 03B60 03B45 03B70 PDFBibTeX XMLCite \textit{O. S. Shkil'nyak}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2012, No. 3, 273--278 (2012; Zbl 1289.03016)
Nikitchenko, M. S.; Kryvolap, A. V. Semantic properties of monotone Floyd-Hoare logics. (Ukrainian. English summary) Zbl 1289.03022 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2012, No. 3, 215-222 (2012). MSC: 03B70 68N30 PDFBibTeX XMLCite \textit{M. S. Nikitchenko} and \textit{A. V. Kryvolap}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2012, No. 3, 215--222 (2012; Zbl 1289.03022)
Tymofeev, V. G. Satisfiability problem in composition-nominative logics of quantifier-equational level with weak equality. (Ukrainian. English summary) Zbl 1289.03020 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2012, No. 2, 245-250 (2012). MSC: 03B60 03B70 68Q60 PDFBibTeX XMLCite \textit{V. G. Tymofeev}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2012, No. 2, 245--250 (2012; Zbl 1289.03020)
Nikitchenko, M. S.; Shkil’nyak, S. S. Sequent calculi construction for pure first-order composition-nominative logics of single-valued partial predicates. (Ukrainian. English summary) Zbl 1289.03013 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2012, No. 2, 194-201 (2012). MSC: 03B60 PDFBibTeX XMLCite \textit{M. S. Nikitchenko} and \textit{S. S. Shkil'nyak}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2012, No. 2, 194--201 (2012; Zbl 1289.03013)
Antonova, I. A. Properties of fixed point operators in predicate algebras. (Ukrainian. English summary) Zbl 1289.03021 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2012, No. 2, 73-78 (2012). MSC: 03B70 03B60 03G25 68Q60 PDFBibTeX XMLCite \textit{I. A. Antonova}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2012, No. 2, 73--78 (2012; Zbl 1289.03021)
Nikitchenko, M. S.; Shkil’nyak, O. S.; Shkil’nyak, S. S. Two-valued and many-valued composition-nominative logics. (Ukrainian. English summary) Zbl 1265.03030 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2012, No. 1, 199-206 (2012). MSC: 03B70 03B42 03B50 PDFBibTeX XMLCite \textit{M. S. Nikitchenko} et al., Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2012, No. 1, 199--206 (2012; Zbl 1265.03030)
Tymofeev, V. G. Satisfiability problem in propositional and renominative composition-nominative logic. (Ukrainian. English summary) Zbl 1249.03040 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2011, No. 4, 233-238 (2011). MSC: 03B70 68Q60 PDFBibTeX XMLCite \textit{V. G. Tymofeev}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2011, No. 4, 233--238 (2011; Zbl 1249.03040)
Nikitchenko, M. S.; Shkil’nyak, S. S. First-order composition-nominative logics. (Ukrainian. English summary) Zbl 1249.03039 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2011, No. 4, 176-185 (2011). MSC: 03B70 PDFBibTeX XMLCite \textit{M. S. Nikitchenko} and \textit{S. S. Shkil'nyak}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2011, No. 4, 176--185 (2011; Zbl 1249.03039)
Nikitchenko, M. S.; Shkil’nyak, O. S.; Shkil’nyak, S. S. Construction of modal logics of temporal and epistemic type on the basis of the composition-nominative approach. (Ukrainian. English summary) Zbl 1249.03038 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2011, No. 3, 204-211 (2011). MSC: 03B70 03B42 03B44 03B45 PDFBibTeX XMLCite \textit{M. S. Nikitchenko} et al., Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2011, No. 3, 204--211 (2011; Zbl 1249.03038)
Ivanov, Ye. V. Operational semantics of programs over complex-named data. (Ukrainian. English summary) Zbl 1240.68127 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2011, No. 1, 133-136 (2011). MSC: 68Q55 PDFBibTeX XMLCite \textit{Ye. V. Ivanov}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2011, No. 1, 133--136 (2011; Zbl 1240.68127)
Parfirova, T. S. On reduction of sequential-parallel compositional programs to entirely sequential form. (Ukrainian. English summary) Zbl 1224.68053 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2010, No. 1, 132-137 (2010). MSC: 68Q55 68N19 PDFBibTeX XMLCite \textit{T. S. Parfirova}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2010, No. 1, 132--137 (2010; Zbl 1224.68053)
Protsyk, P. P. A composition-nominative approach for Z-notation language semantics construction. (Ukrainian. English summary) Zbl 1164.68321 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2008, No. 2, 116-120 (2008). MSC: 68N15 PDFBibTeX XMLCite \textit{P. P. Protsyk}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2008, No. 2, 116--120 (2008; Zbl 1164.68321)
Kubichka, Oksana V. Composition algebras of representations of finite type posets. (Ukrainian. English summary) Zbl 1013.16007 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2002, No. 4, 16-22 (2002). MSC: 16G20 16G60 PDFBibTeX XMLCite \textit{O. V. Kubichka}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2002, No. 4, 16--22 (2002; Zbl 1013.16007)
Vinnyk, Vadym Yu. Structures of symbol processing functions of literal level. (Ukrainian. English summary) Zbl 1011.68015 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2002, No. 2, 169-178 (2002). MSC: 68N15 PDFBibTeX XMLCite \textit{V. Yu. Vinnyk}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2002, No. 2, 169--178 (2002; Zbl 1011.68015)
Vinnyk, Vadim Yu. Compositional model of literal word structures. (Ukrainian. English summary) Zbl 1041.68074 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 1, 199-207 (2002). MSC: 68R15 68N15 PDFBibTeX XMLCite \textit{V. Yu. Vinnyk}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2002, No. 1, 199--207 (2002; Zbl 1041.68074)
Bychkov, Oleksij S.; Kolesnyk, Oleksij B. Dynamics of quadratic mappings in complex plane. (Ukrainian. English summary) Zbl 1018.30021 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2001, No. 3, 183-187 (2001). MSC: 30D05 PDFBibTeX XMLCite \textit{O. S. Bychkov} and \textit{O. B. Kolesnyk}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2001, No. 3, 183--187 (2001; Zbl 1018.30021)
Nikitchenko, Mykola S.; Shkil’nyak, Stepan S. Composition nominative first order logics. (Ukrainian. English summary) Zbl 0974.03509 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2001, No. 1, 260-274 (2001). MSC: 03B60 PDFBibTeX XMLCite \textit{M. S. Nikitchenko} and \textit{S. S. Shkil'nyak}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2001, No. 1, 260--274 (2001; Zbl 0974.03509)
Nikitchenko, Mykola S.; Shkilnyak, Stepan S. Composition nominative first order calculi. (Ukrainian. English summary) Zbl 0974.03510 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2001, No. 2, 292-313 (2001). MSC: 03B60 PDFBibTeX XMLCite \textit{M. S. Nikitchenko} and \textit{S. S. Shkilnyak}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2001, No. 2, 292--313 (2001; Zbl 0974.03510)
Nikitchenko, Mykola S.; Shkil’nyak, Stepan S.; Virych, Natalya V. Investigation of properties of pure neoclassical calculi. (Ukrainian. English summary) Zbl 0974.03511 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2001, No. 2, 297-302 (2001). MSC: 03B60 03C07 PDFBibTeX XMLCite \textit{M. S. Nikitchenko} et al., Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2001, No. 2, 297--302 (2001; Zbl 0974.03511)
Nikitchenko, N. S.; Shkil’nyak, S. S. Composition nominative logics of equitone predicates. (Ukrainian. English summary) Zbl 0972.03533 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2000, No. 2, 300-314 (2000). MSC: 03B60 68T27 PDFBibTeX XMLCite \textit{N. S. Nikitchenko} and \textit{S. S. Shkil'nyak}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2000, No. 2, 300--314 (2000; Zbl 0972.03533)
Brona, Yu. J.; Buj, D. B.; Zagors’kyj, S. P.; Polyakov, S. A. Compositional semantics of SQL: Aggregate functions. (Ukrainian. English summary) Zbl 0970.68018 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2000, No. 1, 178-192 (2000). MSC: 68N15 PDFBibTeX XMLCite \textit{Yu. J. Brona} et al., Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2000, No. 1, 178--192 (2000; Zbl 0970.68018)
Nikitchenko, M. S.; Shkilnyak, S. S. Pure composition nominative calculi. (Ukrainian. English summary) Zbl 0972.03534 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2000, No. 3, 290-303 (2000). MSC: 03B60 68T27 PDFBibTeX XMLCite \textit{M. S. Nikitchenko} and \textit{S. S. Shkilnyak}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2000, No. 3, 290--303 (2000; Zbl 0972.03534)
Buj, D. B.; Polyakov, S. A. Compositional semantics of SQL-similar languages: Tabular structures of the data, composition, examples. (Ukrainian. English summary) Zbl 0973.68023 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 1999, No. 1, 130-140 (1999). MSC: 68N15 68P05 PDFBibTeX XMLCite \textit{D. B. Buj} and \textit{S. A. Polyakov}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 1999, No. 1, 130--140 (1999; Zbl 0973.68023)