Árbol de resolución semántica

Un árbol de resolución semántica es un árbol utilizado para definir la semántica de un lenguaje de programación . ^{[ 1 ]} Se han utilizado con frecuencia como herramienta teórica para demostrar la insatisfacibilidad de las cláusulas en la lógica de predicados de primer orden. ^{[ 2 ]}

Referencias

↑ Kundu, S (1986-12-01). "Resolución de árboles y árbol semántico generalizado" . Actas del simposio internacional ACM SIGART sobre metodologías para sistemas inteligentes . ISMIS '86. Knoxville, Tennessee, EE. UU.: Association for Computing Machinery. págs. 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 (eds.). "Competitive Semantic Tree Theorem Prover with Resolutions" . Avances recientes en máquinas virtuales paralelas e interfaces de paso de mensajes . Lecture Notes in Computer Science. 2840. Berlín, Heidelberg: Springer: 227–231 . doi : 10.1007/978-3-540-39924-7_33 . ISBN 978-3-540-39924-7.

[1] Kundu, S (1986-12-01). "Resolución de árboles y árbol semántico generalizado" . Actas del simposio internacional ACM SIGART sobre metodologías para sistemas inteligentes . ISMIS '86. Knoxville, Tennessee, EE. UU.: Association for Computing Machinery. págs. 270–278 . doi : 10.1145/12808.12838 . ISBN 978-0-89791-206-8. S2CID 17442587 .

[2] Kim, Choon Kyu; Newborn, Monty (2003). Dongarra, Jack; Laforenza, Domenico; Orlando, Salvatore (eds.). "Competitive Semantic Tree Theorem Prover with Resolutions" . Avances recientes en máquinas virtuales paralelas e interfaces de paso de mensajes . Lecture Notes in Computer Science. 2840. Berlín, Heidelberg: Springer: 227–231 . doi : 10.1007/978-3-540-39924-7_33 . ISBN 978-3-540-39924-7.

[ 1 ]

[ 2 ]