Research Group Theoretical Computer Science
|
||
Mail to webmaster
|
Publications by Berthold Hoffmann in 1988 (get BIBTeX file):
Berthold Hoffmann, Detlef Plump: Jungle Evaluation for Efficient Term Rewriting. In Jan Grabowski, Pierre Lescanne, Wolfgang Wechler, editors, Algebraic and Logic Programming, International Workshop, Gaussig, GDR, November 14-18, 1988, Proceedings, volume 343 of Lecture Notes in Computer Science, pages 191-203. Springer, 1988.
|
Mail to webmaster
|