Articles liés à Rewriting Logic and Its Applications: 8th International...
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 - Couverture souple
Synopsis
Constitutes the refereed proceedings of the 8th International Workshop on Rewriting Logic and its Applications, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, in March 2010.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 64,08
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délais
Résultats de recherche pour Rewriting Logic and Its Applications: 8th International...
Image d'archives
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
Edité par
Springer-Verlag GmbH, 2010
ISBN 10 : 3642163092
ISBN 13 : 9783642163098
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 9293300/12
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Rewriting Logic and Its Applications
Edité par
Springer Berlin Heidelberg, 2010
ISBN 10 : 3642163092
ISBN 13 : 9783642163098
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Invited Talks.- Rewriting, Inference, and Proof.- Twenty Years of Rewriting Logic.- Termination and Narrowing.- Proving Termination in the Context-Sensitive Dependency Pair Framework.- A Dependency Pair Framework for A???C-Termination.- Folding Variant Narr. N° de réf. du vendeur 5051107
Quantité disponible : 3 disponible(s)
Image fournie par le vendeur
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
Edité par
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2010
ISBN 10 : 3642163092
ISBN 13 : 9783642163098
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware - This volume contains the proceedings of the Eighth International Workshop on Rewriting Logic and its Applications (WRLA 2010) that was held in Paphos, Cyprus, March 20 21, 2010, as a satellite workshop of the European Joint C- ferences on Theory and Practice of Software (ETAPS 2010). Rewriting logic is a natural semantic framework for representing conc- rency,parallelism,communicationandinteraction,aswellasbeing anexpressive (meta)logical framework for representing logics. It can then be used for spe- fying a wide range of systems and programming languages in various appli- tion elds. In recent years, several executable speci cation languages based on rewriting logic (ASF+SDF, CafeOBJ, ELAN, Maude) have been designed and implemented. The aim of the WRLA workshop series is to bring together - searchers with a common interest in rewriting logic and its applications, and to give them the opportunity to present their recent works, discuss future research directions, and exchange ideas. Previous WRLA workshops were held in Asilomar (1996), Pont-a-Mousson ` (1998), Kanazawa (2000), Pisa (2002), Barcelona (2004), Vienna (2006), and Budapest (2008), and their proceedings have been published inElectronic Notes in Theoretical Computer Science. In addition, selected papers from WRLA 1996 have been published in a special issue of Theoretical Computer Science,and selected papers from WRLA 2004 appeared in a special issue of Higher-Order and Symbolic Computation. N° de réf. du vendeur 9783642163098
Quantité disponible : 2 disponible(s)
Image d'archives
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
Edité par
Springer-Verlag New York Inc, 2010
ISBN 10 : 3642163092
ISBN 13 : 9783642163098
Neuf
Paperback
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 261 pages. 9.00x6.00x0.50 inches. In Stock. N° de réf. du vendeur x-3642163092
Quantité disponible : 2 disponible(s)
Image d'archives
Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, ... (Lecture Notes in Computer Science, 6381)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020219793
Quantité disponible : 1 disponible(s)
Image d'archives
Rewriting Logic and Its Applications (Paperback)
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10 : 3642163092
ISBN 13 : 9783642163098
Neuf
Paperback
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. This volume contains the proceedings of the Eighth International Workshop on Rewriting Logic and its Applications (WRLA 2010) that was held in Paphos, Cyprus, March 20-21, 2010, as a satellite workshop of the European Joint C- ferences on Theory and Practice of Software (ETAPS 2010). Rewriting logic is a natural semantic framework for representing conc- rency,parallelism,communicationandinteraction,aswellasbeing anexpressive (meta)logical framework for representing logics. It can then be used for spe- fying a wide range of systems and programming languages in various appli- tion ?elds. In recent years, several executable speci?cation languages based on rewriting logic (ASF+SDF, CafeOBJ, ELAN, Maude) have been designed and implemented. The aim of the WRLA workshop series is to bring together - searchers with a common interest in rewriting logic and its applications, and to give them the opportunity to present their recent works, discuss future research directions, and exchange ideas.Previous WRLA workshops were held in Asilomar (1996), Pont-a-Mousson ' (1998), Kanazawa (2000), Pisa (2002), Barcelona (2004), Vienna (2006), and Budapest (2008), and their proceedings have been published inElectronic Notes in Theoretical Computer Science. In addition, selected papers from WRLA 1996 have been published in a special issue of Theoretical Computer Science,and selected papers from WRLA 2004 appeared in a special issue of Higher-Order and Symbolic Computation. Constitutes the refereed proceedings of the 8th International Workshop on Rewriting Logic and its Applications, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, in March 2010. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783642163098
Quantité disponible : 1 disponible(s)