Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings - Couverture souple
Synopsis
This volume contains the papers preesented at the Third International Workshop on Conditional Term Rewriting Systems, held in Pont- -Mousson, France, July 8-10, 1992. Topics covered include conditional rewriting and its applications to programming languages, specification languages, automated deduction, constrained rewriting, typed rewriting, higher-order rewriting, and graph rewriting. The volume contains 40 papers, including four invited talks: Algebraic semantics of rewriting terms and types, by K. Meinke; Generic induction proofs, by P. Padawitz; Conditional term rewriting and first-order theorem proving, by D. Plaisted; and Decidability of finiteness properties (abstract), by L. Pacholski. The first CTRS workshop was held at the University of Paris in 1987 and the second at Concordia University, Montreal, in 1990. Their proceddings are published as Lecture Notes in Computer Science Volumes 308 and 516 respectively.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Conditional Term Rewriting Systems: Third International...
Image d'archives
Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings (Lecture Notes in Computer Science)
Edité par
Springer, 1993
ISBN 10 : 3540563938
ISBN 13 : 9783540563938
Ancien ou d'occasion
Paperback
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. N° de réf. du vendeur UTD14a2486
Acheter D'occasion
EUR 41,82
Expédition à EUR 6,11
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Conditional Term Rewriting Systems.
Edité par
Springer, 1993
ISBN 10 : 3540563938
ISBN 13 : 9783540563938
Ancien ou d'occasion
Couverture souple
Vendeur : Antiquariat Dorner, Reinheim, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Third International Workshop, CTRS-92 Pont-à-Mousson, July 1992. Proceedings. Berlin, Springer 1993. XI, 501 S., OKart. Gutes Exemplar. N° de réf. du vendeur 130466
Acheter D'occasion
EUR 25
Expédition à EUR 33
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Conditional Term Rewriting Systems : Third International Workshop, Ctrs-92, Pont-a-mousson, France, July 8-10, 1992. Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5906109-n
Acheter neuf
EUR 56,56
Expédition à EUR 2,31
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Conditional Term Rewriting Systems: Third International Workshop, Ctrs-92, Pont-A-Mousson, France, July 8-10, 1992. Proceedings (Paperback or Softback)
Edité par
Springer 1/29/1993, 1993
ISBN 10 : 3540563938
ISBN 13 : 9783540563938
Neuf
Paperback or Softback
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback or Softback. Etat : New. Conditional Term Rewriting Systems: Third International Workshop, Ctrs-92, Pont-A-Mousson, France, July 8-10, 1992. Proceedings. Book. N° de réf. du vendeur BBS-9783540563938
Acheter neuf
EUR 58,95
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 5 disponible(s)
Image d'archives
Conditional Term Rewriting Systems : Third International Workshop, Ctrs-92, Pont-a-mousson, France, July 8-10, 1992. Proceedings
Edité par
Springer, 1993
ISBN 10 : 3540563938
ISBN 13 : 9783540563938
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 5906109
Acheter D'occasion
EUR 62,98
Expédition à EUR 2,31
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings (Lecture Notes in Computer Science (656), Band 656)
Edité par
Springer, 2008
ISBN 10 : 3540563938
ISBN 13 : 9783540563938
Ancien ou d'occasion
Softcover: 15.5 x 3 x 23.5 cm
Vendeur : Roland Antiquariat UG haftungsbeschränkt, Weinheim, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Softcover: 15.5 x 3 x 23.5 cm. 1993. 520 p. Unread book. Very good condition. Minimum traces of storage. 9783540563938 Sprache: Englisch Gewicht in Gramm: 1000. N° de réf. du vendeur 203275
Acheter D'occasion
EUR 28,90
Expédition à EUR 42
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings (Lecture Notes in Computer Science, 656)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540563938_new
Acheter neuf
EUR 61,07
Expédition à EUR 13,98
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings: 656 (Lecture Notes in Computer Science)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783540563938
Acheter neuf
EUR 57,70
Expédition à EUR 18,08
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Conditional Term Rewriting Systems
Edité par
Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1993
ISBN 10 : 3540563938
ISBN 13 : 9783540563938
Neuf
Paperback
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. 1993 ed. This volume contains the papers preesented at the ThirdInternational Workshop on Conditional Term RewritingSystems, held in Pont- -Mousson, France, July 8-10, 1992. Topics covered include conditional rewriting and itsapplications to programming languages, specificationlanguages, automated deduction, constrained rewriting, typedrewriting, higher-order rewriting, and graph rewriting. The volume contains 40 papers, including four invited talks:Algebraic semantics of rewriting terms and types, by K. Meinke; Generic induction proofs, by P. Padawitz;Conditional term rewriting and first-order theorem proving,by D. Plaisted; and Decidability of finiteness properties(abstract), by L. Pacholski. The first CTRS workshop was held at the University of Parisin 1987 and the second at Concordia University, Montreal, in1990. Their proceddings are published as Lecture Notes inComputer Science Volumes 308 and 516 respectively. N° de réf. du vendeur LU-9783540563938
Acheter neuf
EUR 77,12
Livraison gratuite
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Conditional Term Rewriting Systems : Third International Workshop, Ctrs-92, Pont-a-mousson, France, July 8-10, 1992. Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5906109-n
Acheter neuf
EUR 60,67
Expédition à EUR 17,51
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles