Robert Veroff

Identifiers

No identifiers captured yet.

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

No mention provenance yet.

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