Normal view
MARC view
Giesl, Jürgen (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): International Conference on Rewriting Techniques and Applications (16th : 2005 : Nara-ken, Japan) 26320, Term rewriting and applications :, ©2005.