Research RepositorySaint Petersburg State University
Please use this identifier to cite or link to this item:
http://hdl.handle.net/11701/42386| Title: | Congruence closure over interpreted symbols |
| Other Titles: | Конгруэнтное замыкание над интерпретируемыми знаками |
| Authors: | Бохуа Чжань Bohua Czan Го Том Ичжоу Go Tom Iczou Петров Федор Владимирович Petrov Fedor Vladimirovic |
| Issue Date: | 2023 |
| URI: | http://hdl.handle.net/11701/42386 |
| Appears in Collections: | MASTER'S STUDIES |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| thesis_with_title_page_yizhou_guo.pdf | Article | 317,92 kB | Adobe PDF | View/Open |
| reviewSV_otz_GO.pdf | ReviewSV | 81,76 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.