Robert Veroff

Identifiers

• name variant Robert Veroff 0.60 · backfill

Papers (3)

1. Loops with abelian inner mapping groups: An application of automated deduction math.GR · 2015 · author #2
2. Yet Another Single Law for Lattices math.LO · 2003 · author #3
3. Double-Negation Elimination in Some Propositional Logics cs.LO · 2003 · author #2

Mentions

• 1509.05468 #2 · backfill · confidence 0.70 Robert Veroff

Frequent Coauthors

• Larry Wos 1 shared papers
• Michael Beeson 1 shared papers
• Michael Kinyon 1 shared papers
• Petr Vojt\v{e}chovsk\'y 1 shared papers
• Ranganathan Padmanabhan 1 shared papers
• William McCune 1 shared papers