Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, Ju - detaljert visning

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

International CTRS Workshop
Bok Engelsk 1995


Utgitt	Berlin : Springer , c1995
Omfang	VIII, 373 s. : ill.
Emner	Logikkprogrammering Omskrivning (Programmering) Omskrivning Parallellprosessering programmeringsspråk formelle språk
ISBN	3540603816