Object
Title: On the Structre of Positive and Strongly PositiveArithmetical Sets
Ամփոփում:
The relations between the classes of positive and strongly positive arithmetical sets are investigated. Some simplified form for the logical representation of the class of positive sets is obtained. It is proved that the logical representation of the class of positive sets is obtained when the list of operations &,∨ in the definition of the class of strongly positive sets is replaced by the list ∃,&,∨ .
Նույնականացուցիչ:
oai:noad.sci.am:135787
Լեզու:
URL:
Կազմակերպության անվանում:
Institute for Informatics and Automation Problems
Երկիր:
Գիտաժողովի անվանում:
11th International Conference on Computer Science and Information Technologies CSIT 2017
Վայր:
Մասնակցության տեսակը:
Object collections:
- Digital Library > Ակադեմիական ինստիտուտներ > ՀՀ ԳԱԱ Ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ > Գիտաժողովներ
Last modified:
Mar 3, 2021
In our library since:
Jul 16, 2020
Number of object content hits:
34
All available object's versions:
https://noad.sci.am/publication/149314
Show description in RDF format:
Show description in OAI-PMH format:
| Edition name | Date |
|---|---|
| Seda Manukian, On the Structre of Positive and Strongly PositiveArithmetical Sets | Mar 3, 2021 |
