Articles liés à Advanced Topics in Term Rewriting

Advanced Topics in Term Rewriting - Couverture souple

Ohlebusch, Enno

 
9781475736625: Advanced Topics in Term Rewriting
Couverture souple
ISBN 10 : 1475736622 ISBN 13 : 9781475736625
Editeur : Springer, 2013

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

* Motivation * Abstract Reduction Systems * Term Rewriting Systems * Confluence * Termination * Relative Undecidability * Conditional Rewrite Systems * Modularity * Graph Rewriting * Termination of Logic Programs * Appendix-Kruskal's Theorem

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2013
Langue
anglais
ISBN 10 
1475736622
ISBN 13 
9781475736625
Reliure
Paperback
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9780387952505: Advanced Topics in Term Rewriting

Edition présentée

ISBN 10 :  0387952500 ISBN 13 :  9780387952505
Editeur : Springer-Verlag New York Inc., 2002
Couverture rigide