( en | de | ru )

 

Disambiguation of "Murray, Neil V."

Author of the publication

copydeleteadd this publication to your clipboard
Deduction and Search Strategies for Regular Multiple-Valued Logics.

, , and . J. Multiple Valued Log. Soft Comput., 11 (3-4): 375-406 (2005)

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

Bernd Murray

 

Other publications of authors with the same name

Computing prime implicates by pruning the search space and accelerating subsumption., , , and . J. Log. Comput., 27 (4): 961-983 (2017)Inference with path resolution and semantic graphs., and . J. ACM, 34 (2): 225-254 (1987)Theory Links in Semantic Graphs., and . CADE, volume 230 of Lecture Notes in Computer Science, page 353-364. Springer, (1986)Signed Formulas and Fuzzy Operator Logics., , and . ISMIS, volume 869 of Lecture Notes in Computer Science, page 75-84. Springer, (1994)Annotated Hyperresolution for Non-horn Regular Multiple-Valued Logics., , and . ISMIS, volume 1932 of Lecture Notes in Computer Science, page 301-310. Springer, (2000)Employing Path Dissolution to Shorten Tableaux Proofs., and . ISSAC, page 373-381. ACM, (1989)Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics., , , and . JELIA, volume 1489 of Lecture Notes in Computer Science, page 154-168. Springer, (1998)Updating Reduced Implicate Tries., and . TABLEAUX, volume 4548 of Lecture Notes in Computer Science, page 183-198. Springer, (2007)Reduced Implicate Tries and Logical Operations., , and . KEOD, page 456-459. INSTICC Press, (2009)On Computing Prime Implicants and Prime Implicates., , and . TABLEAUX, page 73-75. (1992)