Location & Availability for: Rewriting logic and its applications : 9

 Staff view

You must be logged in to Tag Records

Rewriting logic and its applications [electronic resource] : 9th international workshop, WRLA 2012, held as a satellite event of ETAPS, Tallinn, Estonia, March 24-25, 2012 : revised selected papers /

Franciso Durán (ed.).

Book Cover
Names: Durán, Franciso.
Published: Berlin ; Springer, c2012.
Series: Lecture notes in computer science ; 7571.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Topics: Computer logic - Congresses.
Genres: Electronic books.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Rewriting logic and its applications : 9