title: Congruence closure over interpreted symbols
metadata.name: dc.contributor.advisor
metadata.value: Бохуа Чжань
metadata.lang: ru_RU
metadata.name: dc.contributor.advisor
metadata.value: Bohua Czan
metadata.lang: en_GB
metadata.name: dc.contributor.author
metadata.value: Го Том Ичжоу
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Go Tom Iczou
metadata.lang: en_GB
metadata.name: dc.contributor.editor
metadata.value: Петров Федор Владимирович
metadata.lang: ru_RU
metadata.name: dc.contributor.editor
metadata.value: Petrov Fedor Vladimirovic
metadata.lang: en_GB
metadata.name: dc.date.accessioned
metadata.value: 2023-07-26T12:03:51Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2023-07-26T12:03:51Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2023
metadata.name: dc.identifier.other
metadata.value: 095712
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/42386
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: Мы описываем реализацию и тестирование алгоритма замыкания конгруэнтности для уравнения Хорна, основанного на сглаживании уравнений в Python.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: We describe an implementation and testing of a congruence closure algorithm for Horn equation based on equation flattening in Python.
metadata.lang: en_GB
metadata.name: dc.language.iso
metadata.value: ru
metadata.name: dc.subject
metadata.value: конгруэнтное замыкание
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: уравнение Хорна
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: SMT
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: congruence closure
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: Horn equation
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: SMT
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Congruence closure over interpreted symbols
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Конгруэнтное замыкание над интерпретируемыми знаками
metadata.lang: ru_RU
resources.filename: thesis_with_title_page_yizhou_guo.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/42386/2/thesis_with_title_page_yizhou_guo.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 317,92 kB
resources.filename: reviewSV_otz_GO.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/42386/3/reviewSV_otz_GO.pdf
resources.format: Adobe PDF
resources.description: ReviewSV
resources.size: 81,76 kB