Pure first-order quasiary logics with equality predicates

Saved in:
Bibliographic Details
Date:2017
Main Authors: M. S. Nikitchenko, S. S. Shkilniak
Format: Article
Language:English
Published: 2017
Series:Problems in programming
Online Access:http://jnas.nbuv.gov.ua/article/UJRN-0000724012
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title: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