MPG.eBooks - Search Results - Algebra

Cover Image

1

Recent Trends in Data Type Specification : 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994. S...

Published 1995

Springer Berlin Heidelberg

Table of Contents: “...Combining algebra and universal algebra in first-order theorem proving: The case of commutative...”