Menu

R. C. de Vrijer

2 published titles

Selected papers on Automath

(Contributor)

1 edition

  • ISBN: 0444898220
  • Elsevier
  • 1994
  • Details

Term rewriting systems

(Contributor)

1 edition

  • ISBN: 0521391156
  • Cambridge University Press
  • 2003
  • Details

obnb.uk is a Good Stuff website.