Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Formalization of the nominative algorithmic algebra in Mizar
We describe a formalization of the nominative algorithmic algebra in the Mizar proof
assistant. This algebra is a generalization of Glushkov algorithmic algebras which is well …
assistant. This algebra is a generalization of Glushkov algorithmic algebras which is well …
[PDF][PDF] On the Sequence Rule for the Floyd-Hoare Logic with Partial Pre-and Post-Conditions.
I Ivanov, MS Nikitchenko - ICTERI Workshops, 2018 - academia.edu
Classical Floyd-Hoare logic is valid when total pre-and postconditions are considered. In the
case of partial conditions (predicates) the logic becomes invalid. This situation may be …
case of partial conditions (predicates) the logic becomes invalid. This situation may be …
Formalization of the algebra of nominative data in Mizar
In the paper we describe a formalization of the notion of a nominative data with simple
names and complex values in the Mizar proof assistant. Such data can be considered as a …
names and complex values in the Mizar proof assistant. Such data can be considered as a …
Inference rules for the partial floyd-hoare logic based on composition of predicate complement
I Ivanov, M Nikitchenko - … 14th International Conference, ICTERI 2018, Kyiv …, 2019 - Springer
Abstract Classical Floyd-Hoare logic is sound when total pre-and post-conditions are
considered. In the case of partial conditions (predicates) the logic becomes unsound. This …
considered. In the case of partial conditions (predicates) the logic becomes unsound. This …
Expressibility in the Kleene Algebra of Partial Predicates with the Complement Composition
I Ivanov, M Nikitchenko - … , ICTERI 2019, Kherson, Ukraine, June 12–15 …, 2020 - Springer
In the paper we investigate the expressibility of partial predicates in the Kleene algebra
extended with the composition of predicate complement and give a necessary and sufficient …
extended with the composition of predicate complement and give a necessary and sufficient …
[PDF][PDF] On the Kleene Algebra of Partial Predicates with Predicate Complement.
I Ivanov, MS Nikitchenko - ICTERI Workshops, 2019 - ceur-ws.org
In the paper we investigate the question of expressibility of partial predicates in the Kleene
algebra extended with the composition of predicate complement and give a necessary and …
algebra extended with the composition of predicate complement and give a necessary and …
Formalization of the Nominative Algorithmic Algebra in Mizar
I Ivanov - … Systems Architecture and Technology: Proceedings of …, 2017 - books.google.com
We describe a formalization of the nominative algorithmic algebra in the Mizar proof
assistant. This algebra is a generalization of Glushkov algorithmic algebras which is well …
assistant. This algebra is a generalization of Glushkov algorithmic algebras which is well …