Opening book details…
Can I read Rewriting Logic and Its Applications : 9th International Workshop, WRLA 2012, Held As a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers on EtoBox?
Rewriting Logic and Its Applications : 9th International Workshop, WRLA 2012, Held As a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers by Ananda Basu, Saddek Bensalem, Marius Bozga (auth.), Franciso Durán (eds.) is a computer science book available to read on EtoBox.
What is Rewriting Logic and Its Applications : 9th International Workshop, WRLA 2012, Held As a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers about?
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012. The 8 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 12 initial submissions and 5 invited lectures. The papers address a great diversity of topics in the fields of rewriting logic such as: foundations and mode
Who reads Rewriting Logic and Its Applications : 9th International Workshop, WRLA 2012, Held As a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Ananda Basu, Saddek Bensalem, Marius Bozga (auth.), Franciso Durán (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2012
- Language
- EN
- ISBN
- 9783642340048
- Category
- computer science
- Subjects
- Engineering, Mathematics, Technology
- Updated
- 2026-03-25
More by Ananda Basu, Saddek Bensalem, Marius Bozga (auth.), Franciso Durán (eds.)
Browse all works by Ananda Basu, Saddek Bensalem, Marius Bozga (auth.), Franciso Durán (eds.)
Similar books
- 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 (2016)
- Rewriting Logic and Its Applications : 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : Revised Selected Papers — Natarajan Shankar (auth.), Peter Csaba Ölveczky (2010)
- Rewriting logic and its applications : 10th International Workshop, WRLA 2014, held as a satellite Event of ETAPS, Grenoble, France, April 5-6, 2014 : revised selected papers — Santiago Escobar (2014)
- Web Services and Formal Methods [recurso electrónico] 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers — Lhouari Nourine, Farouk Toumani (auth.), Maurice H. ter Beek, Niels Lohmann (2013)
- Coalgebraic Methods in Computer Science : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers — Samson Abramsky, Jonathan Zvesper (auth.), Dirk Pattinson, Lutz Schröder (2012)
- Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings. Theoretical Computer Science and General Issues — Vlad Rusu (2018)
