Menu

Jussi Ketonen

1 published title

A decision procedure revisited : notes on direct logic, linear logic and its implementation

(Contributor)

1 edition

  • LFCS, Dept. of Computer Science, University of Edinburgh
  • 1991
  • Details

obnb.uk is a Good Stuff website.