Rob Arthan

Identifiers

• name variant Rob Arthan 0.60 · backfill

Papers (8)

1. A Curry-Howard Correspondence for the Minimal Fragment of {\L}ukasiewicz Logic cs.LO · 2018 · author #1
2. Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC cs.LO · 2016 · author #3
3. On Pocrims and Hoops math.LO · 2014 · author #1
4. On Affine Logic and {\L}ukasiewicz Logic cs.LO · 2014 · author #1
5. Hoops, Coops and the Algebraic Semantics of Continuous Logic math.LO · 2012 · author #1
6. (Dual) Hoops Have Unique Halving cs.AI · 2012 · author #1
7. The decision problem for normed spaces over any class of ordered fields math.LO · 2011 · author #1
8. A General Framework for Sound and Complete Floyd-Hoare Logics cs.LO · 2008 · author #1

Mentions

• 1404.0816 #1 · backfill · confidence 0.70 Rob Arthan
• 1404.0570 #1 · backfill · confidence 0.70 Rob Arthan
• 1212.2887 #1 · backfill · confidence 0.70 Rob Arthan
• 1203.0436 #1 · backfill · confidence 0.70 Rob Arthan
• 1104.3293 #1 · backfill · confidence 0.70 Rob Arthan
• 0807.1016 #1 · backfill · confidence 0.70 Rob Arthan

Frequent Coauthors

• Paulo Oliva 6 shared papers
• Erik A. Mathiesen 1 shared papers
• Gudmund Grov 1 shared papers
• Ursula Martin 1 shared papers
• Yuhui Lin 1 shared papers