Riscrittura della logica e sue applicazioni

Questo libro costituisce gli atti post-workshop accuratamente revisionati del 9° Workshop internazionale sulla riscrittura della logica e le sue applicazioni, WRLA 2012, tenutosi come evento satellite di ETAPS 2012, a Tallinn, Estonia, nel marzo 2012. Gli 8 documenti completi revisionati presentati insieme a 4 documenti invitati sono stati attentamente esaminati e selezionati tra 12 proposte iniziali e 5 conferenze invitate. Gli articoli affrontano una grande varietà di argomenti nei campi della riscrittura della logica come: fondamenti e modelli, linguaggi, struttura logica e semantica, ingegneria del software basata su modelli, estensioni probabilistiche e in tempo reale, tecniche di verifica e sistemi distribuiti.