Format:
X, 461 S.
,
graph. Darst.
,
25 cm
ISBN:
3540543171
,
0387543171
Series Statement:
Lecture notes in computer science 516
Note:
Literaturangaben
Additional Edition:
Online-Ausg. Conditional and typed rewriting systems Berlin [u.a.] : Springer, 1991 ISBN 9783540475583
Additional Edition:
Erscheint auch als Online-Ausgabe Kaplan, Stéphane, 1961 - 1991 Conditional and Typed Rewriting Systems Berlin, Heidelberg : Springer Berlin Heidelberg, 1991 ISBN 9783540475583
Language:
English
Keywords:
Bedingtes Termersetzungssystem
;
Bedingtes Termersetzungssystem
;
Konferenzschrift
;
Konferenzschrift
URL:
http://www.loc.gov/catdir/enhancements/fy0815/91025005-d.html
