Robert Constable

Identifiers

• name variant Robert Constable 0.60 · backfill

Papers (3)

1. Intuitionistic Completeness of First-Order Logic cs.LO · 2011 · author #1
2. Effectively Nonblocking Consensus Procedures Can Execute Forever - a Constructive Version of FLP cs.LO · 2011 · author #1
3. Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic<br> Semantics cs.LO · 2008 · author #1

Mentions

• 1110.1614 #1 · backfill · confidence 0.70 Robert Constable
• 1109.3370 #1 · backfill · confidence 0.70 Robert Constable
• 0806.1281 #1 · backfill · confidence 0.70 Robert Constable

Frequent Coauthors

• Mark Bickford 1 shared papers
• Wojciech Moczydlowski 1 shared papers