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