Pure first-order quasiary logics with equality predicates

Gespeichert in:

Bibliographische Detailangaben
Datum:	2017
Hauptverfasser:	M. S. Nikitchenko, S. S. Shkilniak
Format:	Artikel
Sprache:	English
Veröffentlicht:	2017
Schriftenreihe:	Problems in programming
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0000724012
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-36509
record_format	dspace
spelling	open-sciencenbuvgovua-365092024-02-29T11:32:31Z Pure first-order quasiary logics with equality predicates M. S. Nikitchenko S. S. Shkilniak 1727-4907 2017 en Problems in programming http://jnas.nbuv.gov.ua/article/UJRN-0000724012 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 S. S. Shkilniak Pure first-order quasiary logics with equality predicates
format	Article
author	M. S. Nikitchenko S. S. Shkilniak
author_facet	M. S. Nikitchenko S. S. Shkilniak
author_sort	M. S. Nikitchenko
title	Pure first-order quasiary logics with equality predicates
title_short	Pure first-order quasiary logics with equality predicates
title_full	Pure first-order quasiary logics with equality predicates
title_fullStr	Pure first-order quasiary logics with equality predicates
title_full_unstemmed	Pure first-order quasiary logics with equality predicates
title_sort	pure first-order quasiary logics with equality predicates
publishDate	2017
url	http://jnas.nbuv.gov.ua/article/UJRN-0000724012
work_keys_str_mv	AT msnikitchenko purefirstorderquasiarylogicswithequalitypredicates AT ssshkilniak purefirstorderquasiarylogicswithequalitypredicates
first_indexed	2025-07-17T18:17:23Z
last_indexed	2025-07-17T18:17:23Z
_version_	1850414961858183168