Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings /

Bibliographic Details
Corporate Authors:	International Workshop on Conditional (and Typed) Rewriting Systems Jerusalem), SpringerLink (Online service), International Colloquium on Automata, Languages, and Programming
Other Authors:	Dershowitz, Nachum, Lindenstrauss, Naomi
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [1995]
Series:	Lecture notes in computer science ; 968.
Subjects:	Rewriting systems (Computer science) > Congresses. Computer programming > Congresses. Algorithms > Congresses. réecriture conditionnelle. réécriture. Algorithms. Computer programming. Rewriting systems (Computer science) Ordinateurs > Programmation > Congrès. Algorithmes > Congrès. Réécriture, Systèmes de (informatique) > Congrès. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Remote Storage