意味解決木は、プログラミング言語の意味論を定義するために使用される木です。[ 1 ]これらは、一階述語論理における節の不充足性を示すための理論的ツールとしてよく使用されてきました。[ 2 ]
参考文献
- ↑ Kundu, S (1986-12-01). "ツリー解決と一般化意味ツリー" . ACM SIGART国際シンポジウム「インテリジェントシステムのための方法論」ISMIS '86 議事録。米国テネシー州ノックスビル：Association for Computing Machinery。pp. 270–278。doi : 10.1145 / 12808.12838。ISBN 978-0-89791-206-8. S2CID 17442587 .
- ↑ Kim, Choon Kyu; Newborn, Monty (2003). Dongarra, Jack; Laforenza, Domenico; Orlando, Salvatore (編). "Competitive Semantic Tree Theorem Prover with Resolutions" . Recent Advances in Parallel Virtual Machine and Message Passing Interface . Lecture Notes in Computer Science. 2840. Berlin, Heidelberg: Springer: 227–231 . doi : 10.1007/978-3-540-39924-7_33 . ISBN 978-3-540-39924-7。
