The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification

Tarasich, Yu.; Lvov, M.; Peschanenko, V.; Letychevskyi, O.; Тарасіч, Ю. Г.; Львов, М. С.; Песчаненко, В. С.; Летичевський, О. О.

The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification

Tarasich, Yu.; Lvov, M.; Peschanenko, V.; Letychevskyi, O.; Тарасіч, Ю. Г.; Львов, М. С.; Песчаненко, В. С.; Летичевський, О. О.

URI: http://ekhsuir.kspu.edu/handle/123456789/4082

Date: 2017

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.

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

Show full item record

Files in this item

Name: paper_7.pdf

Size: 700.2Kb

Format: PDF

View/Open

This item appears in the following Collection(s)

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

The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification

The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification

Abstract:

Description:

Files in this item

This item appears in the following Collection(s)

Search DSpace

Browse

All of DSpace

This Collection

My Account