Igor Siveroni (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1 Mitchell Wand, Igor Siveroni: Constraint Systems for Useless Variable Elimination. POPL 1999: 291-302

Selection of 1 from 7 records - Igor Siveroni has 7 coauthors