Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings
Jieh Hsiang (ed.)
Bok Engelsk 1995 International Conference on Rewriting Techniques and Applications
Utgitt | Berlin : Springer , c1995
|
---|---|
Omfang | XII, 471 s. : ill.
|
Emner | Algorithms - Congresses
Electronic digital computers - Programming Congresses Rewriting systems (Computer science) - Congresses Logisk algebra - Databehandling Vis mer... Omskrivning (Programmering)
Omskrivning omskrivingsteknikker semantikk programmeringsspråk matematisk logikk automatiskdeduksjon |
ISBN | 0387592008. - 3540592008
|