Sunil Kothari (University of Wyoming)

Identifiers

• name variant Sunil Kothari (University of Wyoming) 0.60 · backfill

Papers (1)

1. A Machine Checked Model of Idempotent MGU Axioms For Lists of Equational Constraints cs.LO · 2010 · author #1

Mentions

• 1012.4892 #1 · backfill · confidence 0.70 Sunil Kothari (University of Wyoming)

Frequent Coauthors

• James Caldwell (University of Wyoming) 1 shared papers