Fast decision procedures based on congruence closure (1980)
Cached
Download Links
- [www.cs.virginia.edu]
- [www.cs.virginia.edu]
- [www.cs.virginia.edu]
- DBLP
Other Repositories/Bibliography
by
Greg Nelson
,
Derek
,
C. Oppen
| Venue: | Journal of the ACM |
| Citations: | 163 - 0 self |
Active Bibliography
| 48 | On Shostak's Decision Procedure for Combinations of Theories – David Cyrluk, Patrick Lincoln, Natarajan Shankar - 1996 |
