Menu

Renate A. Schmidt

3 published titles

Relations and Kleene algebra in computer science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA

(Contributor)

1 edition

  • ISBN: 9783540378730
  • Springer
  • 2006
  • Details

Second-order quantifier elimination : foundations, computational aspects and applications

(Contributor)

1 edition

  • ISBN: 9781904987567
  • College Pub.
  • 2008
  • Details

Frontiers of combining systems : 9th international symposium, FroCoS 2013, Nancy, France, September 18-20, 2013 : proceedings

(Contributor)

1 edition

  • ISBN: 9783642408847
  • Springer
  • 2013
  • Details

obnb.uk is a Good Stuff website.