Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [i.e. Romeu], Fra - detaljert visning

Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [i.e. Romeu], France, May 17-21, 1993 : advanced course


Utgitt	Berlin : Springer , c1995
Omfang	VIII, 221 s. : ill.
Emner	Computer science - Congresses Rewriting systems (Computer science) - Congresses Logisk algebra - Databehandling Omskrivning (Programmering) Vis mer... Omskrivning omskrivingsteknikker databehandling
ISBN	0387593403. - 3540593403