The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification
- Publication date
- Publisher
Abstract
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. pdfA 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