Menu
Află starea comenzii
Contactați-ne
Carte Rewriting Techniques and Applications Harald Ganzinger

Rewriting Techniques and Applications

7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996. Proceedings

Autor: Harald Ganzinger
Limbă: engleză
Legare: Carte broșată
Editura: Springer, Berlin
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
276.07 lei
This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Tech...

Informații despre carte

Autor
Harald Ganzinger
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
1996
Pagini
440
EAN
9783540614647
ISBN
3540614648
Enbook ID
02092627
Editura
Springer, Berlin
Greutate
602
Dimensiuni
156 x 234 x 23

Descriere completă

This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Techniques and Applications, RTA-96, held in New Brunswick, NJ, USA, in July 1996.The 27 revised full papers presented in this volume were selected from a total of 84 submissions, also included are six system descriptions and abstracts of three invited papers. The topics covered include analysis of term rewriting systems, string and graph rewriting, rewrite-based theorem proving, conditional term rewriting, higher-order rewriting, unification, symbolic and algebraic computation, and efficient implementation of rewriting on sequential and parallel machines.

S-ar putea să te intereseze

Contented Pregnancy

Charlotte Chaliha
135.16 lei

Choice in Language

Gerard O´Grady
226.95 lei

River Marked

Patricia Briggs
45.48 lei

Local Acts

Jan Cohen Cruz
229.06 lei

The Adventures of Mimi the Artist

Lynn Melchiori
33.71 lei

U.S. Army Special Operations in World War II

Center of Military History United States
69.34 lei

CEO Guide to Doing Business in South Africa

Ade Asefeso MCIPS MBA
69.54 lei

Where The Darkness Hides: Book 1 of Darkness

Aaron Avari
67.02 lei

Death's Sting-Where Art Thou?: A Heroic Anthology of Immortal Protagonists

Alfred D. Byrd
79.00 lei

Clienții care au cumpărat această carte au mai cumpărat și

SYNONYMES ET NUANCES

Dominique Le Fur
84.43 lei

Burokommunikation Von Der Planung Bis Zur Erfolgskontrolle

Egbert Reichel
277.88 lei

L'Ami de Cour, Comedie En Cinq Actes Et En Vers

Ancien Militaire
82.52 lei

Gestión del área de trabajo en el gabinete bucodental

134.76 lei