Grigori Mints

Identifiers

• name variant Grigori Mints 0.60 · backfill

Papers (3)

1. Intuitionistic Existential Instantiation and Epsilon Symbol math.LO · 2012 · author #1
2. Failure of interpolation in the intuitionistic logic of constant domains math.LO · 2012 · author #1
3. Cut-elimination for the mu-calculus with one variable cs.LO · 2012 · author #1

Mentions

• 1208.0861 #1 · backfill · confidence 0.70 Grigori Mints
• 1202.3519 #1 · backfill · confidence 0.70 Grigori Mints
• 1202.3501 #1 · backfill · confidence 0.70 Grigori Mints

Frequent Coauthors

• Alasdair Urquhart 1 shared papers
• Grigory Olkhovikov 1 shared papers
• Thomas Studer 1 shared papers