%0 Generic
%T Rewriting techniques and applications 3rd international conference, RTA-89, Chapel Hill, North Carolina, USA, April 3 - 5, 1989 ; proceedings
%A RTA 3 1989 Chapel Hill, NC
%A Dershowitz, Nachum
%I Springer
%@ 9783540461494
%K Computer software
%K Algebra Data processing
%K Rewriting systems (Computer science) Congresses
%K Computer programming Congresses
%K Computer algorithms Congresses
%K Computer science
%K Artificial intelligence
%K Mathematical logic.
%K Compilers (Computer programs).
%K Algorithms.
%K Machine theory.
%K Mathematical Logic and Formal Languages
%K Symbolic and Algebraic Manipulation
%K Computer Science
%K Artificial Intelligence (incl. Robotics)
%K Programming Languages, Compilers, Interpreters
%K Algorithm Analysis and Problem Complexity
%K Konferenzschrift 1989 Chapel Hill, NC
%K Reduktionssystem
%D 1989
%X Literaturangaben
%C Springer
%C Berlin [u.a.]
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation