Stephane Kaplan – författare
Visar alla böcker från författaren Stephane Kaplan. Handla med fri frakt och snabb leverans.
2 produkter
Conditional Term Rewriting Systems
1st International Workshop Orsay, France, July 8-10, 1987. Proceedings
Av Stephane Kaplan, Jean-Pierre Jouannaud
Häftad, 1988
569 kr
Lägg i varukorg
The 1st International Workshop on Conditional Term Rewriting Systems took place in Orsay (University of Paris-Sud) in July 1987, and brought together most of the researchers involved in the field. Conditional rewriting has actually known important breakthroughs during the last two years; it was the …
Conditional and Typed Rewriting Systems
2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings
Av Stephane Kaplan, Mitsuhiro Okada
Häftad, 1991
569 kr
Lägg i varukorg
In recent years, extensions of rewriting techniques that go beyond the traditional untyped algebraic rewriting framework have been investigated and developed. Among these extensions, conditional and typed systems are particularly important, as are higher-order systems, graph rewriting systems, etc. …
