Cover Image

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
Description
Item Description:Held in conjunction with the Twenty-first Colloquium on Automata, Language, and Programming (ICALP'94).
Electronic resource.
Physical Description:1 online resource (viii, 373 pages) : illustrations
Bibliography:Includes bibliographical references and index.
ISBN:3540603816
9783540603818