DSpace Repository

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

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

Thumbnail
Name: paper_7.pdf
Size: 700.2Kb
Format: PDF
View/Open

This item appears in the following Collection(s)

Search DSpace


Browse

My Account