Дерево семантического разрешения

Дерево семантического разрешения — это дерево , используемое для определения семантики языка программирования . ^[1] Их часто использовали в качестве теоретического инструмента для демонстрации невыполнимости предложений в логике предикатов первого порядка. ^[2]

Ссылки

^ Кунду, С (1 декабря 1986 г.). «Разрешение дерева и обобщенное семантическое дерево» . Материалы международного симпозиума ACM SIGART по методологиям интеллектуальных систем . ИСМИС '86. Ноксвилл, Теннесси, США: Ассоциация вычислительной техники. стр. 270–278. дои : 10.1145/12808.12838 . ISBN 978-0-89791-206-8 . S2CID 17442587 .
^ Ким, Чун Гю; Новорожденный, Монти (2003). Донгарра, Джек; Лафоренца, Доменико; Орландо, Сальваторе (ред.). «Конкурентное средство доказательства теорем семантического дерева с резолюциями» . Последние достижения в области параллельных виртуальных машин и интерфейса передачи сообщений . Конспекты лекций по информатике. 2840 . Берлин, Гейдельберг: Springer: 227–231. дои : 10.1007/978-3-540-39924-7_33 . ISBN 978-3-540-39924-7 .

Эта по информатике статья незавершена . Вы можете помочь Википедии, расширив ее .

[1] Кунду, С (1 декабря 1986 г.). «Разрешение дерева и обобщенное семантическое дерево» . Материалы международного симпозиума ACM SIGART по методологиям интеллектуальных систем . ИСМИС '86. Ноксвилл, Теннесси, США: Ассоциация вычислительной техники. стр. 270–278. дои : 10.1145/12808.12838 . ISBN 978-0-89791-206-8 . S2CID 17442587 .

[2] Ким, Чун Гю; Новорожденный, Монти (2003). Донгарра, Джек; Лафоренца, Доменико; Орландо, Сальваторе (ред.). «Конкурентное средство доказательства теорем семантического дерева с резолюциями» . Последние достижения в области параллельных виртуальных машин и интерфейса передачи сообщений . Конспекты лекций по информатике. 2840 . Берлин, Гейдельберг: Springer: 227–231. дои : 10.1007/978-3-540-39924-7_33 . ISBN 978-3-540-39924-7 .

[1]

[2]