Rewriting logic and its applications (extended selected papers from WRLA 2014). Special Issue of Journal of Logical and Algebraic Methods in Programming. Volume 86, Issue 1, Part 2, Pages 157-297 (January 2017). © Elsevier Science |
![]() |
Rewriting logic and its applications (extended selected papers from WRLA 2014). Special Issue of Journal of Logical and Algebraic Methods in Programming. Volume 85, Issue 1, Part 1, Pages 1-120 (January 2016). © Elsevier Science |
![]() |
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. Lecture Notes in Computer Science, volume 8663, 296 pages. © Springer-Verlag Available: DOI |
![]() |
Functional and (Constraint) Logic Programming, Special Issue of Information and Computation. Information and Computation. Volume 235, pages 1-136, 2014 © Elsevier Science |
![]() |
Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers. Lecture Notes in Computer Science, volume 5979, 180 pages. © Springer-Verlag Available: DOI |
![]() |
Security and Rewriting Techniques, 3rd Int'l Workshop Electronic Notes in Theoretical Computer Science, Volume 234, pages 1-114. © Elsevier Science |
![]() |
Automated Specification and Verification of Web Sites, 4th Int'l Workshop Electronic Notes in Theoretical Computer Science, Volume 235, pages 1-152. © Elsevier Science |
![]() |
Automated Specification and Verification of Web Sites, 1st Int'l Workshop Electronic Notes in Theoretical Computer Science Volume 157, Issue 2, Pages 1-212, 22 May 2006 © Elsevier Science Available: Online Pre-proceedings |
![]() |