( en | de | ru )

 

Disambiguation of "Murray, Neil V."

Author of the publication

copydeleteadd this publication to your clipboard
Prime Implicate Tries.

, , and . TABLEAUX, volume 5607 of Lecture Notes in Computer Science, page 250-264. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

James Neil

Katharine Neil

Henryk Neils

Mattis Neiling

Kathleen Murray

 

Other publications of authors with the same name

Non-Clausal Deductive Techniques for Computing Prime Implicants and Prime Implicates., and . LPAR, volume 698 of Lecture Notes in Computer Science, page 277-288. Springer, (1993)Resolution and Path Dissolution in Multi-Valued Logics., and . ISMIS, volume 542 of Lecture Notes in Computer Science, page 570-579. Springer, (1991)Duality in Knowledge Compilation Techniques., and . ISMIS, volume 3488 of Lecture Notes in Computer Science, page 182-190. Springer, (2005)Refined Single-Threading for Parallel Functional Programming., , and . LCR, page 321-324. Springer, (1995)Reduced Implicate/Implicant Tries., and . ISMIS, volume 4994 of Lecture Notes in Computer Science, page 203-214. Springer, (2008)Some Remarks on Completeness, Connection Graph Resolution and Link Deletion., , and . TABLEAUX, volume 1397 of Lecture Notes in Computer Science, page 173-186. Springer, (1998)Trie Based Subsumption and Improving the pi-Trie Algorithm., , and . PAAR@IJCAR, volume 9 of EPiC Series in Computing, page 74-83. EasyChair, (2010)The Logic of Time Structures: Temporal and Nonmonotonic Features., and . IJCAI, page 1285-1290. Morgan Kaufmann, (1989)On Deleting Links in Semantic Graphs., and . AAECC, volume 229 of Lecture Notes in Computer Science, page 404-415. Springer, (1985)Prime Implicates and Reduced Implicate Tries., and . ISMIS, volume 5722 of Lecture Notes in Computer Science, page 191-200. Springer, (2009)