Menu

Angelika Mader

1 published title

An effective tableau system for the linear time mu-calculus

(Contributor)

1 edition

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

obnb.uk is a Good Stuff website.