dblp.uni-trier.dewww.uni-trier.de

Robert Veroff Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
18EEMatthew Spinks, Robert Veroff: Constructive Logic with Strong Negation is a Substructural Logic. I. Studia Logica 88(3): 325-348 (2008)
17EEMatthew Spinks, Robert Veroff: Constructive Logic with Strong Negation is a Substructural Logic. II. Studia Logica 89(3): 401-425 (2008)
2006
16EERobert Veroff, Matthew Spinks: Axiomatizing the Skew Boolean Propositional Calculus. J. Autom. Reasoning 37(1-2): 3-20 (2006)
2005
15EEMichael Beeson, Robert Veroff, Larry Wos: Double-Negation Elimination in Some Propositional Logics. Studia Logica 80(2-3): 195-234 (2005)
2004
14EEPaul Helman, Robert Veroff, Susan R. Atlas, Cheryl Willman: A Bayesian Network Classification Methodology for Gene Expression Data. Journal of Computational Biology 11(4): 581-615 (2004)
2003
13EEMichael Beeson, Robert Veroff, Larry Wos: Double-Negation Elimination in Some Propositional Logics CoRR cs.LO/0301026: (2003)
12EERobert Veroff: A Shortest 2-Basis for Boolean Algebra in Terms of the Sheffer Stroke. J. Autom. Reasoning 31(1): 1-9 (2003)
2002
11 William McCune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, Larry Wos: Short Single Axioms for Boolean Algebra. J. Autom. Reasoning 29(1): 1-16 (2002)
2001
10 Robert Veroff: Finding Shortest Proofs: An Application of Linked Inference Rules. J. Autom. Reasoning 27(2): 123-139 (2001)
9 Robert Veroff: Solving Open Questions and Other Challenge Problems Using Proof Sketches. J. Autom. Reasoning 27(2): 157-174 (2001)
1999
8EEGregory H. Chisholm, Steven T. Eckmann, Christopher M. Lain, Robert Veroff: Understanding Integrated Circuits. IEEE Design & Test of Computers 16(2): 26-37 (1999)
1996
7 Robert Veroff: Using Hints to Increase the Effectiveness of an Automated Reasoning Program: Case Studies. J. Autom. Reasoning 16(3): 223-239 (1996)
1994
6 Larry Wos, Robert Veroff: Logical basis for the automation of reasoning: Case studies. Handbook of Logic in Artificial Intelligence and Logic Programming (2) 1994: 1-40
1992
5 Robert Veroff: The Linked Inference Principle, I: The Formal Treatment. J. Autom. Reasoning 8(2): 213-274 (1992)
1988
4 Paul Helman, Robert Veroff: Designing Deductive Databases. J. Autom. Reasoning 4(1): 29-68 (1988)
1984
3EELarry Wos, Robert Veroff, B. Smith, William McCune: The Linked Inference Principle, II: The User's Viewpoint. CADE 1984: 316-332
2 Larry Wos, S. Winker, B. Smith, Robert Veroff, Lawrence J. Henschen: A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains. Artif. Intell. 22(3): 303-356 (1984)
1981
1 Robert Veroff, Lawrence J. Henschen: Application of Automatic Transformations to Program Verification. IJCAI 1981: 472-479

Coauthor Index

1Susan R. Atlas [14]
2Michael Beeson [13] [15]
3Gregory H. Chisholm [8]
4Steven T. Eckmann [8]
5Andrew Feist [11]
6Branden Fitelson [11]
7Kenneth Harris [11]
8Paul Helman [4] [14]
9Lawrence J. Henschen [1] [2]
10Christopher M. Lain [8]
11William McCune [3] [11]
12B. Smith [2] [3]
13Matthew Spinks [16] [17] [18]
14Cheryl Willman [14]
15S. Winker [2]
16Larry Wos [2] [3] [6] [11] [13] [15]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)