Rewriting logic and its applications [electronic resource] : 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.).
2016
QA76.9.L63 W75 2016eb
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Rewriting logic and its applications [electronic resource] : 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.).
ISBN
9783319448022 (electronic book)
3319448021 (electronic book)
9783319448015
3319448013
3319448021 (electronic book)
9783319448015
3319448013
Published
Switzerland : Springer, 2016.
Language
English
Description
1 online resource (xiii, 185 pages)
Call Number
QA76.9.L63 W75 2016eb
Dewey Decimal Classification
005.101/5113
Bibliography, etc. Note
Includes bibliographical references and author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed August 25, 2016).
Added Author
Added Meeting Name
Series
Lecture notes in computer science ; 9942.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Available in Other Form
Print version: 3319448013
Linked Resources
Record Appears in