## Combining decision procedures for the reals (2006)

### Cached

### Download Links

- [arxiv.org]
- [www.math.osu.edu]
- [www.math.ohio-state.edu]
- [www.math.osu.edu]
- [www.math.ohio-state.edu]
- [www.math.osu.edu]
- DBLP

### Other Repositories/Bibliography

by
Jeremy Avigad
,
Harvey Friedman

Venue: | Logical Methods in Computer Science |

Citations: | 10 - 3 self |