Für diesen Artikel ist leider kein Bild verfügbar.

Conditional and Typed Rewriting Systems

Buch | Softcover

461 Seiten

1991
Springer (Verlag)
978-0-387-54317-8 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

Proceedings of the meeting held June 1990 at Concordia U. in Montreal, Canada. Topics included the theory of conditional and typed rewriting and its application to programming languages, automated deduction, and other related extensions of rewriting techniques, such as graph rewriting, combinator ba

Erscheint lt. Verlag	1.8.1991
Reihe/Serie	Lecture Notes in Artificial Intelligence ; 516
Zusatzinfo	illustrations
Sprache	englisch
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
Schlagworte	Lecture Notes in Computer Science; 516
ISBN-10	0-387-54317-1 / 0387543171
ISBN-13	978-0-387-54317-8 / 9780387543178
Zustand	Neuware