Replacement systems, such as term rewriting systems, tree manipulat­ ing systems, and graph gramm...

Polymorphism, parameterization and typing: An algebraic specification perspective.- Executable hi...

This volume gives the proceedings of STACS 92. Topics include parallel algorithms, logic and sema...

This book constitutes an anthology of refereed papers arranged to acknowledge the work of Wilfrie...