Alasdair Urquhart

Identifiers

• name variant Alasdair Urquhart 0.60 · backfill

Papers (1)

1. Failure of interpolation in the intuitionistic logic of constant domains math.LO · 2012 · author #3

Mentions

• 1202.3519 #3 · backfill · confidence 0.70 Alasdair Urquhart

Frequent Coauthors

• Grigori Mints 1 shared papers
• Grigory Olkhovikov 1 shared papers