Books
2 results found| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
Rewriting Logic and Its Applications | Franciso Durán | 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, … | OL19899911W |
|
Computer Science Logic | Laurent Fribourg | Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings<br />Author: Laurent Fribourg<br /> Published by Sp… | OL9217247W |