Tecniche e applicazioni della riscrittura

"Questo volume contiene gli atti della Quarta Conferenza Internazionale sulle tecniche e le applicazioni di riscrittura (RTA-91), tenutasi a Como, Italia, dal 10 al 12 aprile 1991. Il volume comprende 40 articoli su un'ampia varietà di argomenti tra cui: sistemi di riscrittura dei termini, unificazione equazionale, riscrittura algebrica, dimostrazioni di terminazione, problemi di generalizzazione, proprietà indecidibili, specifiche parametrizzate, sistemi di normalizzazione, trasformazione di programmi, ottimizzazione delle query, linguaggi ad albero, linguaggi di grafi, teoremi sistemi di dimostrazione, completamento, sistemi di riscrittura di grafici e problemi aperti."--SITO WEB DELL'EDITORE.