Menu

Mads Dam

4 published titles

Translating CTL* into the modal u-calculus

1 edition

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

CTL* and ECTL* as fragments of the modal u-calculus

1 edition

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

Process-algebraic interpretations of positive linear and relevant logics

1 edition

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

Fixpoints of Büchi automata

1 edition

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

obnb.uk is a Good Stuff website.