Roberto Bruttomesso

Identifiers

• name variant Roberto Bruttomesso 0.60 · backfill

Papers (1)

1. From Strong Amalgamability to Modularity of Quantifier-Free Interpolation cs.LO · 2012 · author #1

Mentions

• 1203.3730 #1 · backfill · confidence 0.70 Roberto Bruttomesso

Frequent Coauthors

• Silvio Ghilardi 1 shared papers
• Silvio Ranise 1 shared papers