Statistics
Publications
2
Citations
51
H-Index
2
Active since
2002
Affiliations
N. V. Murray is an author at University at Albany, State University of New York specializing in formal logic, automated reasoning, and formal verification.
Publications per year
2002–2002
2
2
Signed formulas and annotated logics
James Lu, N. V. Murray, Erik Rosenthal · 2002 · 32 citations
Improving tableau deductions in multiple-valued logics
N. V. Murray, Erik Rosenthal · 2002 · 19 citations
1–2 of 2