Algebraic methods:theory, tools, and applications

Saved in:
Bibliographic Details
Group Author: Wirsing M.; (Martin); Bergstra J. A.
Published: Springer-Verlag,
Publisher Address: Berlin New York
Publication Dates: c1989.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 394
Subjects:
Carrier Form: vi, 558 p.: ill. ; 25 cm.
ISBN: 0387516980 (U.S. : alk. paper)
Index Number: TP312
CLC: TP312-532
Call Number: TP312-53/A394/1987/
Contents: Proceedings of a workshop held on June 9-11 1987 in Passau, Germany.
Includes bibliographical references (p. 554) and index.