Jan Willem Klop: Term Rewriting Systems - Anja's

Cover: 9780521391153 | Term Rewriting Systems | Jan Willem Klop (u. a.) | Buch | Englisch

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

272,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

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:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
ISBN-13:	9780521391153
ISBN-10:	0521391156
Sprache:	Englisch
Einband:	Gebunden
Autor:	Klop, Jan Willem de Vrijer, Roel Terese
Hersteller:	Cambridge University Press
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	286 x 221 x 53 mm
Von/Mit:	Jan Willem Klop (u. a.)
Erscheinungsdatum:	10.08.2011
Gewicht:	2,495 kg

Artikel-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:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
ISBN-13:	9780521391153
ISBN-10:	0521391156
Sprache:	Englisch
Einband:	Gebunden
Autor:	Klop, Jan Willem de Vrijer, Roel Terese
Hersteller:	Cambridge University Press
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	286 x 221 x 53 mm
Von/Mit:	Jan Willem Klop (u. a.)
Erscheinungsdatum:	10.08.2011
Gewicht:	2,495 kg

Artikel-ID: 104696740

Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch

Cover: 9783528052409 | Programmieren mit Ada und C | Annette Weinert | Taschenbuch | 147 S.

Programmieren mit Ada und C

Eine beispielorientierte Gegenüberstellung

EAN: 9783528052409

Sprache: Deutsch

Von/Mit: Annette Weinert

54,99 €*

Lieferzeit 2-4 Werktage

Taschenbuch

Cover: 9783642098444 | Fundamental Numerical Methods for Electrical Engineering | Rosloniec

Fundamental Numerical Methods for Electrical Engineering

EAN: 9783642098444

Sprache: Englisch

Von/Mit: Stanislaw Rosloniec

158,95 €*

Lieferzeit 2-4 Werktage

Taschenbuch

Cover: 9783330502819 | jetzt.js | Deklarative Erstellung von 3D Inhalten im Web | Kaupert

Deklarative Erstellung von 3D Inhalten im Web

EAN: 9783330502819

Sprache: Deutsch

Von/Mit: Julia Kaupert

23,90 €*

Lieferzeit 2-4 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

152,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781788299879 | Mastering Machine Learning with scikit-learn, Second Edition | Buch

Mastering Machine Learning with scikit-learn, Second Edition

EAN: 9781788299879

Sprache: Englisch

Von/Mit: Gavin Hackeling

61,80 €*

Lieferzeit 1-2 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

29,25 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9783330519220 | Entwicklung eines Systems zur automatisierten Extraktion von Metadaten

Entwicklung eines Systems zur automatisierten Extraktion von Metadaten

und dessen prototypische Anwendung innerhalb des Cloud-Speichers OX Drive

EAN: 9783330519220

Sprache: Deutsch

Von/Mit: Kevin Ruthmann

49,90 €*

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9783030342081 | Mathematics in Computing | Gerard O'Regan | Taschenbuch | xxvi | 2020

Mathematics in Computing

An Accessible Guide to Historical, Foundational and Application Contexts

EAN: 9783030342081

Sprache: Englisch

Von/Mit: Gerard O'Regan

46,95 €*

Lieferzeit 2-4 Werktage

Taschenbuch

Cover: 9781032384542 | Music Technology Essentials | A Home Studio Guide | Andrew Maz | Buch

Music Technology Essentials

A Home Studio Guide

EAN: 9781032384542

Sprache: Englisch

Von/Mit: Andrew Maz

64,60 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9783031412660 | Multidisciplinary Perspectives on Artificial Intelligence and the Law

Multidisciplinary Perspectives on Artificial Intelligence and the Law

EAN: 9783031412660

Sprache: Englisch

Von/Mit: Henrique Sousa Antunes (u. a.)

39,40 €*

Lieferzeit 2-4 Werktage

Taschenbuch

Cover: 9781304807953 | Mathematical Notation Reference for Computer Science | Szelogowski

Mathematical Notation Reference for Computer Science

EAN: 9781304807953

Sprache: Englisch

Von/Mit: Daniel Szelogowski

17,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9783838218649 | Der digitale Arbeitsplatz | Dennis Barkmin | Taschenbuch | Paperback

Der digitale Arbeitsplatz

EAN: 9783838218649

Von/Mit: Dennis Barkmin

22,00 €*

Lieferzeit 1-2 Werktage