Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Author(s) [non member] | Editor(s) [non member] | Year | Title | Type | |||||
---|---|---|---|---|---|---|---|---|---|
| |||||||||
Bachmair, Leo Ganzinger, Harald Stuber, Jürgen | Astesiano, Egidio Reggio, Gianna Tarlecki, Andrzej | 1995 | Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings In: Recent Trends in Data Type Specification. 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, 1-29 | Proceedings Article | |||||
| |||||||||
| |||||||||
| |||||||||
|