尼基琴科，M.S。 拟元规范代数的性质。 （英语） Zbl 1389.68052号 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2016年第4期114-119（2016）.MSC公司：60年第68季度 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Nikitchenko}，维斯。，序列号。菲兹-马特·诺基，基辅。进出口大学。Tarasa Shevchenka 2016，第4期，114-119（2016；Zbl 1389.68052）
T.V.罗萨达。 形式语言中同义词的分析、设计和研究。 （乌克兰语。英文摘要） Zbl 1289.68007号 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2012年，第3期，227-232（2012）.MSC公司：68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.V.Rossada}，维斯。，序列号。菲兹-马特·诺基，基辅。进出口大学。Tarasa Shevchenka 2012，第3号，227--232（2012；Zbl 1289.68007）
尼基琴科，M.S。;Kryvolap，A.V.公司。 单调Floyd-Hoare逻辑的语义特性。 （乌克兰语。英文摘要） Zbl 1289.03022号 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2012年，第3215-222号（2012年）.MSC公司：03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Nikitchenko}和\textit{A.V.Kryvolap}，维斯。，序列号。菲兹-马特·诺基，基辅。进出口大学。Tarasa Shevchenka 2012，第3期，215--222（2012；Zbl 1289.03022）
蒂莫菲耶夫，V.G。 弱等式量词-等式层次的复合主格逻辑中的可满足性问题。 （乌克兰语。英文摘要） Zbl 1289.03020号 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2012年第2期，245-250（2012）.MSC公司：03B60号 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.G.Tymofeev}，维森。，序列号。菲兹-马特·诺基，基辅。进出口大学。Tarasa Shevchenka 2012，第2期，245--250（2012；Zbl 1289.03020）
T.V.罗萨达。;Sklyar，A.V.公司。 具有多值命名的半结构化数据的属性及其使用。 （乌克兰语。英文摘要） Zbl 1289.68008号 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2012年第2期，218-227（2012）.MSC公司：68甲15 68号30 68磅05分 PDF格式BibTeX公司 XML格式引用 \textit{T.V.Rossada}和\textit{A.V.Sklyar}，维森。，序列号。菲兹-马特·诺基，基辅。进出口大学。Tarasa Shevchenka 2012，第2期，第218--227页（2012；Zbl 1289.68008）
安东诺娃，I.A。 谓词代数中不动点算子的性质。 （乌克兰语。英文摘要） Zbl 1289.03021号 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2012年第2期，73-78（2012）.MSC公司：03B70号 03B60号 03G25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Antonova}，维森。，序列号。菲兹-马特·诺基，基辅。进出口大学。Tarasa Shevchenka 2012，第2号，第73-78号（2012；Zbl 1289.03021）
季莫菲耶夫。 命题和命名组合主格逻辑中的可满足性问题。 （乌克兰语。英文摘要） 兹比尔1249.03040 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2011年，第4期，233-238（2011）.MSC公司：03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.G.Tymofeev}，维森。，序列号。菲兹-马特·诺基，基辅。进出口大学。Tarasa Shevchenka 2011，第4号，233--238（2011；Zbl 1249.03040）
Tkachuk，I.Yu。 B方法形式化的要素。 （乌克兰语。英文摘要） Zbl 1240.68052号 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2011年第1期，208-209（2011）.MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Yu.Tkachuk}，维森。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡2011年，第1期，208--209（2011；Zbl 1240.68052）
普罗塞克，P.P。 用Z表示法语言指定程序系统的复合主格方法。 （乌克兰语。英文摘要） Zbl 1199.68037号 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2009年第1期，133-138（2009）.MSC公司：68甲15 PDF格式BibTeX公司 XML格式引用 \文本{P.P.Protsyk}，Visn。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡2009年，第1期，133--138（2009；Zbl 1199.68037）
T.V.潘琴科。 IPCL中并行形式的形式化。 （乌克兰语。英文摘要） Zbl 1199.68052号 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2008年，第3期，152-157（2008）.MSC公司：68号30 68瓦10 PDF格式BibTeX公司 XML格式引用 \textit{T.V.Panchenko}，维森。，序列号。菲兹-马特·诺基，基辅。进出口大学。Tarasa Shevchenka 2008年，第3号，152--157（2008年；Zbl 1199.68052）
夏茨卡，O.V。 三值Kleene逻辑和三元链。 （乌克兰语。英文摘要） Zbl 1164.68360号 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2007年，第4期，130-236（2007）.MSC公司：60年第68季度 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{O.V.Shyshats'ka}，维森。，序列号。菲兹-马特·诺基，基辅。进出口大学。Tarasa Shevchenka 2007，第4号，第130-236页（2007；Zbl 1164.68360）
T.V.潘琴科。 IPCL中共享变量并行加法正确性的证明。 （乌克兰语。英文摘要） Zbl 1164.68359号 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2007年，第4期，187-190（2007）.MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.V.Panchenko}，维森。，序列号。菲兹-马特·诺基，基辅。进出口大学。Tarasa Shevchenka 2007，第4期，187-190（2007；Zbl 1164.68359）
柳德米拉·奥梅尔·丘克（Lyudmyla L.Omel’chuk）。 元主格数据理论定理证明的自动化系统。 （乌克兰语。英文摘要） Zbl 1126.68576号 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2006年，第2期，231-235（2006）.MSC公司：68吨15 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{L.L.Omel’chuk}，Visn。，序列号。菲兹-马特·诺基，基辅。进出口大学。Tarasa Shevchenka 2006，第2期，231--235（2006；Zbl 1126.68576）
Nikitchenko、Mykola S。 部分谓词的无限重名逻辑。 （乌克兰语。英文摘要） Zbl 1011.68124号 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2002年，第3期，229-238（2002）.MSC公司：68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Nikitchenko}，维斯。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍夫琴卡，2002年，第3229-238号（2002年；兹bl 1011.68124）
鲁斯兰·V·亚岑科。;罗戈维茨（Andrij M.Rogovets）。 多维逻辑及其与（lambda）-演算结合的应用。 （乌克兰语。英文摘要） Zbl 0987.03013号 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2001年，第4期，332-340（2001）.MSC公司：03B40型 03B60号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.V.Yatsenko}和\textit{A.M.Rogovets'}，维斯。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡2001，第4号，332--340（2001；Zbl 0987.03013）
奥列娜·马纳科娃一世。 计算由连分数表示的函数的程序的正确性。 （乌克兰语。英文摘要） Zbl 0992.68031号 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2001年，第3期，301-305（2001）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{O.I.马纳科娃}，维森。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡2001，第3期，301--305（2001；Zbl 0992.68031）
奥列娜·马纳科娃一世。 计算重复后果的程序的正确性。 （乌克兰语。英文摘要） Zbl 0973.68043号 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2001年，第1期，255-259（2001）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{O.I.马纳科娃}，维森。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡2001年第1期，第255-259页（2001年；Zbl 0973.68043）
洛杉矶阿克斯·奥诺娃。 最大独立集问题解截断规则或冗余分支的新性质。 （乌克兰语。英文摘要） Zbl 0970.68106号 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2000年，第4期，330-336（2000）.MSC公司：60年第68季度 68吨15 03B35型 05C85号 PDF格式BibTeX公司 XML格式引用 \textit｛L.O.Aks'onova｝，维森。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡2000，第4号，330-336（2000；Zbl 0970.68106）