Umfang:
Online-Ressource
ISBN:
9783540455134
Serie:
Lecture Notes in Computer Science 968
Weitere Ausg.:
ISBN 9783540603818
Weitere Ausg.:
Buchausg. u.d.T. Conditional and typed rewriting systems Berlin [u.a.] : Springer, 1995 ISBN 3540603816
Weitere Ausg.:
ISBN 0387603816
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Bedingtes Termersetzungssystem
;
Konferenzschrift
DOI:
10.1007/3-540-60381-6
Mehr zum Autor:
Dershowitz, Nachum 1951-