Publications
Server halma.mpi-inf.mpg.de
Publications
Entries sorted by: 7. Library - 5. ACM Computing Reviews Classification
Login to this database
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
 | 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 | | ||||
| | ||||||||
| | ||||||||
| | ||||||||
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)