%0 Book
%T Rewriting techniques and applications 9th international conference ; proceedings
%A RTA 9 1998 Tsukuba
%A Nipkow, Tobias
%I Springer
%@ 354064301X
%K Rewriting systems (Computer science)
%K Computer programming
%K Algorithms
%K Konferenzschrift 1998 Tsukuba
%K Reduktionssystem
%D 1998
%X Literaturangaben
%C Springer
%C Berlin
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation