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
|