Pure first-order logics of quasiary predicates

Gespeichert in:

Bibliographische Detailangaben
Datum:	2016
Hauptverfasser:	M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak
Format:	Artikel
Sprache:	English
Veröffentlicht:	2016
Schriftenreihe:	Problems in programming
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0000518772
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

id	open-sciencenbuvgovua-46763
record_format	dspace
spelling	open-sciencenbuvgovua-467632024-02-29T12:39:25Z Pure first-order logics of quasiary predicates M. S. Nikitchenko O. S. Shkilniak S. S. Shkilniak 1727-4907 2016 en Problems in programming http://jnas.nbuv.gov.ua/article/UJRN-0000518772 Article
institution	Library portal of National Academy of Sciences of Ukraine \| LibNAS
collection	Open-Science
language	English
series	Problems in programming
spellingShingle	Problems in programming M. S. Nikitchenko O. S. Shkilniak S. S. Shkilniak Pure first-order logics of quasiary predicates
format	Article
author	M. S. Nikitchenko O. S. Shkilniak S. S. Shkilniak
author_facet	M. S. Nikitchenko O. S. Shkilniak S. S. Shkilniak
author_sort	M. S. Nikitchenko
title	Pure first-order logics of quasiary predicates
title_short	Pure first-order logics of quasiary predicates
title_full	Pure first-order logics of quasiary predicates
title_fullStr	Pure first-order logics of quasiary predicates
title_full_unstemmed	Pure first-order logics of quasiary predicates
title_sort	pure first-order logics of quasiary predicates
publishDate	2016
url	http://jnas.nbuv.gov.ua/article/UJRN-0000518772
work_keys_str_mv	AT msnikitchenko purefirstorderlogicsofquasiarypredicates AT osshkilniak purefirstorderlogicsofquasiarypredicates AT ssshkilniak purefirstorderlogicsofquasiarypredicates
first_indexed	2025-07-17T21:27:39Z
last_indexed	2025-07-17T21:27:39Z
_version_	1850416081526587392