Semantic resolution tree

A semantic resolution tree is a tree used for the definition of the semantics of a programming language.[1] They are often been used as a theoretical tool for showing the unsatisfiability of clauses in first-order predicate logic. [2]

References

Kundu, S (1986-12-01). "Tree resolution and generalized semantic tree". Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems. ISMIS '86. Knoxville, Tennessee, USA: Association for Computing Machinery: 270–278. doi:10.1145/12808.12838. ISBN 978-0-89791-206-8.
Kim, Choon Kyu; Newborn, Monty (2003). Dongarra, Jack; Laforenza, Domenico; Orlando, Salvatore (eds.). "Competitive Semantic Tree Theorem Prover with Resolutions". Recent Advances in Parallel Virtual Machine and Message Passing Interface. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer: 227–231. doi:10.1007/978-3-540-39924-7_33. ISBN 978-3-540-39924-7.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Kundu, S (1986-12-01). "Tree resolution and generalized semantic tree". Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems. ISMIS '86. Knoxville, Tennessee, USA: Association for Computing Machinery: 270–278. doi:10.1145/12808.12838. ISBN 978-0-89791-206-8.

[2] Kim, Choon Kyu; Newborn, Monty (2003). Dongarra, Jack; Laforenza, Domenico; Orlando, Salvatore (eds.). "Competitive Semantic Tree Theorem Prover with Resolutions". Recent Advances in Parallel Virtual Machine and Message Passing Interface. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer: 227–231. doi:10.1007/978-3-540-39924-7_33. ISBN 978-3-540-39924-7.