Congruence closure over interpreted symbols

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://hdl.handle.net/11701/42386

Полная запись метаданных

Поле DC	Значение	Язык
dc.contributor.advisor	Бохуа Чжань	ru_RU
dc.contributor.advisor	Bohua Czan	en_GB
dc.contributor.author	Го Том Ичжоу	ru_RU
dc.contributor.author	Go Tom Iczou	en_GB
dc.contributor.editor	Петров Федор Владимирович	ru_RU
dc.contributor.editor	Petrov Fedor Vladimirovic	en_GB
dc.date.accessioned	2023-07-26T12:03:51Z	-
dc.date.available	2023-07-26T12:03:51Z	-
dc.date.issued	2023
dc.identifier.other	095712	en_GB
dc.identifier.uri	http://hdl.handle.net/11701/42386	-
dc.description.abstract	Мы описываем реализацию и тестирование алгоритма замыкания конгруэнтности для уравнения Хорна, основанного на сглаживании уравнений в Python.	ru_RU
dc.description.abstract	We describe an implementation and testing of a congruence closure algorithm for Horn equation based on equation flattening in Python.	en_GB
dc.language.iso	ru
dc.subject	конгруэнтное замыкание	ru_RU
dc.subject	уравнение Хорна	ru_RU
dc.subject	SMT	ru_RU
dc.subject	congruence closure	en_GB
dc.subject	Horn equation	en_GB
dc.subject	SMT	en_GB
dc.title	Congruence closure over interpreted symbols	en_GB
dc.title.alternative	Конгруэнтное замыкание над интерпретируемыми знаками	ru_RU
Располагается в коллекциях:	MASTER'S STUDIES

Файлы этого ресурса:

Файл	Описание	Размер	Формат
thesis_with_title_page_yizhou_guo.pdf	Article	317,92 kB	Adobe PDF	Просмотреть/Открыть
reviewSV_otz_GO.pdf	ReviewSV	81,76 kB	Adobe PDF	Просмотреть/Открыть

Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.

Архив открытого доступаСанкт-Петербургского государственного университета