This book constitutes selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2020, held in Dublin, Ireland, in April 2020.Due to the COVID-19 pandemic the workshop took place virtually.The 11 full papers pr...Loe edasi...
This book constitutes selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2020, held in Dublin, Ireland, in April 2020.Due to the COVID-19 pandemic the workshop took place virtually.The 11 full papers pr...Loe edasi...
(Ilmumisaeg: 07-Sep-2018, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319998404)
This book constitutes revised selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2018, held in Thessaloniki, Greece, in June 2018. The 12 full papers presented in this volume were carefully reviewed and...Loe edasi...
(Ilmumisaeg: 07-Sep-2018, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319998404)
This book constitutes revised selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2018, held in Thessaloniki, Greece, in June 2018. The 12 full papers presented in this volume were carefully reviewed and...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 17-Aug-2016, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319448022)
This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Rewriting Logic and its Applications, WRLA 2016, held as a satellite event of ETAPS 2016, in Eindhoven, The Netherlands, in April 2016.The 8...Loe edasi...
Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 26-Aug-2015, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319231655)
This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of Jose Meseguer to honor him on the occasion of his 65th birthday. These papers were presented at...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 15-Nov-2014, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319129044)
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014.The 13 revised...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 03-Oct-2012, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642340055)
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...Loe edasi...
(Ilmumisaeg: 01-Oct-2012, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642341762)
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Applications of Graph Transformations, AGTIVE 2011, held in Budapest, Hungary, in October 2011. The 13 revised full papers presented toget...Loe edasi...
(Ilmumisaeg: 15-Oct-2008, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783540890201)
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Applications of Graph Transformations, AGTIVE 2007, held in Kassel, Germany, in October 2007. The 30 revised full papers presented toget...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 11-Jul-2008, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783540705901)
This book constitutes the refereed proceedings of the 19th International Conference on Rewriting Techniques and Applications, RTA 2008, held in Hagenberg, Austria, July 15-17, in June 2008 as part of the RISC Summer 2008. The 30 revised full papers p...Loe edasi...
Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 18-Aug-2007, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783540731474)
Jean-Pierre Jouannaud has deeply influenced, and is still influencing, research in Informatics, through the many important results he has produced in various research fields and through the generations of scholars he has educated. He has played a lea...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 31-Mar-2005, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783540320333)
This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19- 21, 2005, at the Nara-Ken New Public Hall in the center of the Nara National Park in Nara, Japan. RTA...Loe edasi...
