The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification
| dc.contributor.author | Tarasich, Yu. | |
| dc.contributor.author | Lvov, M. | |
| dc.contributor.author | Peschanenko, V. | |
| dc.contributor.author | Letychevskyi, O. | |
| dc.contributor.author | Тарасіч, Ю. Г. | |
| dc.contributor.author | Львов, М. С. | |
| dc.contributor.author | Песчаненко, В. С. | |
| dc.contributor.author | Летичевський, О. О. | |
| dc.date.accessioned | 2017-10-24T12:20:49Z | |
| dc.date.available | 2017-10-24T12:20:49Z | |
| dc.date.issued | 2017 | |
| dc.description | Tarasich, Yulia. The Canonical Forms of Logical Formulas over the Data Types and their Using in Programs Verification / Michael Lvov, Vladimir Peschanenko, Oleksandr Letychevskyi and Yulia Tarasich // CEUR-WS, 2017. – 2017. – С. 536-554 http://ceur-ws. org/Vol-1844/10000536. pdf | uk_UA |
| dc.description.abstract | A brief review and the results of working with tools for the formulae simplifying are presented. The algorithm for constructing the canonical forms of linear semi-algebraic formulae over the enumerated and multiple types is de-scribed. | uk_UA |
| dc.identifier.uri | https://ekhsuir.kspu.edu/handle/123456789/4082 | |
| dc.subject | System of linear inequalities | uk_UA |
| dc.subject | canonical forms | |
| dc.subject | logical formulae | |
| dc.subject | linear semi-algebraic formulae | |
| dc.subject | trapezoids | |
| dc.title | The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification | uk_UA |
| dc.type | Article | uk_UA |