Alexander Fuchs (The University of Iowa)

Identifiers

• name variant Alexander Fuchs (The University of Iowa) 0.60 · backfill

Papers (1)

1. Ground interpolation for the theory of equality cs.LO · 2011 · author #1

Mentions

• 1111.5652 #1 · backfill · confidence 0.70 Alexander Fuchs (The University of Iowa)

Frequent Coauthors

• Amit Goel (Intel Corporation) 1 shared papers
• Cesare Tinelli (The University of Iowa) 1 shared papers
• Jim Grundy (Intel Corporation) 1 shared papers
• Sava Krsti\'c (Intel Corporation) 1 shared papers