Um Studibuch in vollem Umfang nutzen zu können, empfehlen wir Dir Javascript in Deinem Browser zu aktiveren.

Klimaneutrales UnternehmenFaire PreiseSchneller & kostenloser Versand

Rewriting Techniques and Applications

Name: Rewriting Techniques and Applications
Rating: 1 (1 reviews)
Author: Book, Ronald V.

Book, Ronald V.

96,28 €

inkl. MwSt. versandkostenfrei

Artikel zZt. nicht lieferbar

Kurzinformation

Sprache:

Englisch

ISBN:

3540539042

Verlag:

Seitenzahl:

472

Auflage:

Erschienen:

1991-03-27

Dieser Artikel steht derzeit nicht zur Verfügung!

Gebrauchte Bücher kaufen

Information

Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.

Information

Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.

Information

Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.

Information

Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information

Neuware - verlagsfrische aktuelle Buchausgabe.

Klimaneutral

Faire Preise

Schnelle & einfache Abwicklung

96,28 €

inkl. MwSt. versandkostenfrei

Artikel zZt. nicht lieferbar

96,28 €

inkl. MwSt. versandkostenfrei

Beschreibung

Rewriting Techniques and Applications

4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings

This volume contains the proceedings of the Fourth International Conference on Rewriting Techniques and Applications (RTA-91), held in Como, Italy, April 10-12, 1991. The volume includes 40 papers on a wide variety of topics including: term rewriting systems, equational unification, algebraic rewriting, termination proofs, generalization problems, undecidable properties, parametrized specifications, normalizing systems, program transformation, query optimization, tree languages, graph languages, theorem proving systems, completion, graph rewriting systems, and open problems.