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