Author Info
Name
Affiliation
Papers
ROBERT VEROFF
University of New Mexico Department of Computer Science Albuquerque NM 87131 U.S.A
3
Collaborators
Citations 
PageRank 
5
37
9.73
Referers 
Referees 
References 
50
42
35
Title
Citations
PageRank
Year
Constructive Logic with Strong Negation is a Substructural Logic. II90.712008
Axiomatizing the Skew Boolean Propositional Calculus40.812006
A new use of an automated reasoning assistant: open questions in equivalential calculus and the study of infinite domains248.211984