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.identifier.uri	http://ekhsuir.kspu.edu/handle/123456789/4082
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.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

Files in this item

Name: paper_7.pdf

Size: 700.2Kb

Format: PDF

Факультет комп'ютерних наук, фізики та математики
Кафедра алгебри, геометрії та математичного аналізу. Кафедра інформатики програмної інженерії та економічної кібернетики. Кафедра фізики та методики її навчання.