| Original language | English (US) |
|---|---|
| Publisher | Standford University |
| State | Published - 2003 |
Ph.D. thesis: Checking the validity of quantifier-free formulas in combinations of first-order theories
Clark Barrett
Research output: Book/Report › Other report
Clark Barrett
Research output: Book/Report › Other report
| Original language | English (US) |
|---|---|
| Publisher | Standford University |
| State | Published - 2003 |