Conditional and typed rewriting systems: 4th international workshop, ctrs-94, jerusalem, israel, july 13 - 15, 1994. proceedings: 4th international workshop, ctrs 94, jerusalem, israel, july 13-15, 1994. proceedings
Auteur :
Dershowitz, Nachum
ISBN :
9783540603818
Date de publication :
22 sept. 1995
Dimensions :
23,4 x 15,6 x 2,0 cm
Poids :
548 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
These conference proceedings report the research advances in the area of rewriting, in general achieved since the preceding workshop, held in 1992. The topics addressed include conditional term rewriting, typed systems, higher-order rewriting, graph rewriting, and combinator-based languages.