Amazon cover image
Image from Amazon.com

Rewriting logic and its applications : 11th International Workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, the Netherlands, April 2-3, 2016, Revised selected papers / Dorel Lucanu (ed.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 9942. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Publisher: Switzerland : Springer, 2016Description: 1 online resource (xiii, 185 pages)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783319448022
  • 3319448021
Other title:
  • WRLA 2016
Subject(s): Genre/Form: Additional physical formats: Print version:: Rewriting logic and its applications.DDC classification:
  • 005.101/5113 23
LOC classification:
  • QA76.9.L63 W75 2016eb
Online resources:
Contents:
Foundations -- Rewriting as a logical and semantic framework.-Rewriting languages -- Verification techniques -- Applications.
Summary: 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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and author index.

Online resource; title from PDF title page (SpringerLink, viewed August 25, 2016).

Foundations -- Rewriting as a logical and semantic framework.-Rewriting languages -- Verification techniques -- Applications.

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.

Powered by Koha