Conditional and typed rewriting systems

Editor

S. Kaplan ¶ M. Okada editors

Publication

Springer

Publication Year

[c1991]

Collation

x, 461 p

Series

Lecture note sin computer science, 516

Notes

2d international CTRS work shop, Montreal: Canada 1990. Proceedings

Bibliography

Includes bibliographies

Subject

Word processing- Computer Program

ADDED ENTRIES

Kaplan, S ed , ^dSereis:Lecture notes in computer scince, 516

Main Class

652

Sub Class

Cutter no

C745

وارد كنندة اطلاعات

soltani^d//

Link To Document