Format:
Online-Ressource
ISBN:
9783540455134
Series Statement:
Lecture Notes in Computer Science 968
Additional Edition:
ISBN 9783540603818
Additional Edition:
Buchausg. u.d.T. Conditional and typed rewriting systems Berlin [u.a.] : Springer, 1995 ISBN 3540603816
Additional Edition:
ISBN 0387603816
Language:
English
Subjects:
Computer Science
Keywords:
Bedingtes Termersetzungssystem
;
Konferenzschrift
DOI:
10.1007/3-540-60381-6
Author information:
Dershowitz, Nachum 1951-