Special issue: Rewriting logic and its applications. 1st international workshop, Asilomar Conference Center, Pacific Grove, CA, USA, September 1996
The articles of this volume will be reviewed individually.
scientific article; zbMATH DE number 1798960