Term rewriting and all that / Franz Baader and Tobias Nipkow.

By:

Contributor(s):

Material type: Text

TextPublication details: Cambridge : Cambridge University Press, 1998.Description: xii,301p. : ill. ; 26cmContent type:

Media type:

Carrier type:

ISBN:

Subject(s):

DDC classification:

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
Book	Library	005-199x (Browse shelf(Opens below))	Available		AT-ISTA#002881

Total holds: 0

Previous								Next
Previous	005-199x Distributed Algorithms (The Morgan Kaufmann Series in Data Management Systems).	005-199x Algebraic aspects of cryptography /	005-199x Applied cryptography : protocols, algorithms, and source code in C /	005-199x Term rewriting and all that /	005-2001 Systems and Software Verification Model-Checking Techniques and Tools	005-2001 Information Warfare	005-2003 An Introduction to Distributed Algorithms.	Next

Includes bibliographical references and index.