Conditional term rewriting systems : third international workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992 : proceedings
M. Rusinowitch, J. L. Rémy (eds.)
Bok Engelsk 1993 International CTRS Workshop
| Utgitt | Berlin : Springer-Verlag , c1993
|
|---|---|
| Omfang | XI, 501 s. : fig.
|
| Emner | Rewriting systems (Computer science) - Congresses
Logikkprogrammering Omskrivning (Programmering) Omskrivning omskrivningssystemer omskrivningsteknikker omskrivingssystemer programmeringsteori |
| ISBN | 0387563938. - 3540563938
|
