Rewriting techniques and applications [electronic resource] : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings / N. Dershowitz, ed.

Rewriting has always played an important role in symbolic manipulation and automated deduction systems. The theory of rewriting is an outgrowth of Combinatory Logic and the Lambda Calculus. Applications cover broad areas in automated reasoning, programming language design, semantics, and implementat...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Corporate Author:	International Conference on Rewriting Techniques and Applications Chapel Hill, N.C.
Other Authors:	Dershowitz, Nachum
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, ©1989.
Series:	Lecture notes in computer science ; 355.
Subjects:	Rewriting systems (Computer science) > Congresses. Computer programming > Congresses. Computer algorithms > Congresses. Computer algorithms. Computer programming. Rewriting systems (Computer science) Conference papers and proceedings.