M. Bezem
2 published titles
Computer science logic : 10th international workshop, CSL'96, annual conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
(Contributor)
1 edition
- ISBN: 3540631720
- Springer
- 1997
- Details
Term rewriting systems
(Contributor)
1 edition
- ISBN: 0521391156
- Cambridge University Press
- 2003
- Details
