EAN: 9783319448015

REWRITING LOGIC AND ITS APPLICATIONS KARTONIERT...

This book constitutes the thoroughly refereed post-workshop proceedings of the 11th
International Workshop on Rewriting Logic and its Applications  WRLA 2016  held as a satellite
event of ETAPS 2016  in Eindhoven  The Netherlands  in April 2016. The 8 revised full papers
presented together with 2 invited papers and 3 abstracts were carefully reviewed and selected
from 14 submissions. The papers cover several topics such as: foundations  rewriting as a
logical and semantic framework  rewriting languages  verification techniques  and applications.

Aktuelle Preise zur EAN 9783319448015

Produktinformationen zur 9783319448015