Zur Startseite gehen
0,00 €*
Cover: 9780521391153 | Term Rewriting Systems | Jan Willem Klop (u. a.) | Buch | Englisch
Dekorationsartikel gehören nicht zum Leistungsumfang.
Term Rewriting Systems
Buch von Jan Willem Klop (u. a.)
Sprache: Englisch

248,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-3 Wochen

Kategorien:
Beschreibung
Comprehensive introduction to term rewriting for researchers. Features exercises, solutions and applications.
Comprehensive introduction to term rewriting for researchers. Features exercises, solutions and applications.
Inhaltsverzeichnis
1. Abstract reduction systems; 2. First-order term rewriting systems; 3. Examples of TRSs and special rewriting formats; 4. Orthogonality; 5. Properties of rewriting: decidability and modularity; 6. Termination; 7. Completion of equational specifications; 8. Equivalence of reductions; 9. Strategies; 10. Lambda calculus; 11. Higher order rewriting; 12. Infinitary rewriting; 13. Term graph rewriting; 14. Advanced ARS theory; 15. Rewriting based languages and systems; 16. Mathematical background.
Details
Erscheinungsjahr: 2011
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Seiten: 908
ISBN-13: 9780521391153
ISBN-10: 0521391156
Sprache: Englisch
Ausstattung / Beilage: HC gerader Rücken kaschiert
Einband: Gebunden
Autor: Klop, Jan Willem
de Vrijer, Roel
Terese
Hersteller: Cambridge University Press
Maße: 286 x 221 x 53 mm
Von/Mit: Jan Willem Klop (u. a.)
Erscheinungsdatum: 10.08.2011
Gewicht: 2,497 kg
preigu-id: 104696740
Inhaltsverzeichnis
1. Abstract reduction systems; 2. First-order term rewriting systems; 3. Examples of TRSs and special rewriting formats; 4. Orthogonality; 5. Properties of rewriting: decidability and modularity; 6. Termination; 7. Completion of equational specifications; 8. Equivalence of reductions; 9. Strategies; 10. Lambda calculus; 11. Higher order rewriting; 12. Infinitary rewriting; 13. Term graph rewriting; 14. Advanced ARS theory; 15. Rewriting based languages and systems; 16. Mathematical background.
Details
Erscheinungsjahr: 2011
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Seiten: 908
ISBN-13: 9780521391153
ISBN-10: 0521391156
Sprache: Englisch
Ausstattung / Beilage: HC gerader Rücken kaschiert
Einband: Gebunden
Autor: Klop, Jan Willem
de Vrijer, Roel
Terese
Hersteller: Cambridge University Press
Maße: 286 x 221 x 53 mm
Von/Mit: Jan Willem Klop (u. a.)
Erscheinungsdatum: 10.08.2011
Gewicht: 2,497 kg
preigu-id: 104696740
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Buch
Cover: 9783486245387 | Lexikon Informatik und Datenverarbeitung | Hans-Jochen Schneider | XIX
Lexikon Informatik und Datenverarbeitung
EAN: 9783486245387
Sprache: Deutsch
Von/Mit: Hans-Jochen Schneider

304,95 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9783656905882 | Der Einsatz von Dock&Yard Management im Schnittstellenmanagement
Der Einsatz von Dock&Yard Management im Schnittstellenmanagement
EAN: 9783656905882
Sprache: Deutsch
Von/Mit: Thorsten Jochheim

17,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783330502819 | jetzt.js | Deklarative Erstellung von 3D Inhalten im Web | Kaupert
jetzt.js
Deklarative Erstellung von 3D Inhalten im Web
EAN: 9783330502819
Sprache: Deutsch
Von/Mit: Julia Kaupert

23,90 €*

Lieferzeit 4-7 Werktage

Buch
Cover: 9780521898119 | Python for Software Design | Allen B. Downey | Buch | Englisch | 2009
Python for Software Design
EAN: 9780521898119
Sprache: Englisch
Von/Mit: Allen B. Downey

138,95 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9789401802727 | Verism (Tm) - A Pocket Guide: A Publication of Ifdc (International...
VERISM A POCKET GUIDE
EAN: 9789401802727
Sprache: Englisch
Von/Mit: DOUG TEDDER

26,40 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783030238759 | Mixture Models and Applications | Wentao Fan (u. a.) | Buch | XII
Mixture Models and Applications
EAN: 9783030238759
Sprache: Englisch
Von/Mit: Wentao Fan (u. a.)

85,70 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9783030074074 | Quantum Walks and Search Algorithms | Renato Portugal | Taschenbuch
Quantum Walks and Search Algorithms
EAN: 9783030074074
Von/Mit: Renato Portugal

161,95 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783030342081 | Mathematics in Computing | Gerard O¿Regan | Taschenbuch | Paperback
Mathematics in Computing
An Accessible Guide to Historical, Foundational and Application Contexts
EAN: 9783030342081
Sprache: Englisch
Von/Mit: Gerard O¿Regan

43,95 €*

Lieferzeit 4-7 Werktage

Buch
Cover: 9781647483197 | Machine Learning | Herbert Jones | Buch | HC gerader Rücken kaschiert
Machine Learning
The Ultimate Guide to Machine Learning, Neural Networks and Deep Learning for Beginners Who Want to Understand...
EAN: 9781647483197
Sprache: Englisch
Von/Mit: Herbert Jones

28,60 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9781783980284 | Machine Learning for OpenCV | Intelligent image processing with Python
Machine Learning for OpenCV
Intelligent image processing with Python
EAN: 9781783980284
Sprache: Englisch
Von/Mit: Michael Beyeler

61,90 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781787129450 | Python GUI Programming Cookbook - Second Edition | Burkhard Meier
Python GUI Programming Cookbook - Second Edition
Use recipes to develop responsive and powerful GUIs using Tkinter
EAN: 9781787129450
Sprache: Englisch
Von/Mit: Burkhard Meier

61,15 €*

Lieferzeit 1-2 Werktage

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...