Gregor Kemper - Research output - Technical University of Munich

View Scopus Profile

Research activity per year

42 Article
3 Conference contribution
1 Chapter

1 results

Filter

2016
Equivalence - combinatorics, algebra, proofs
Seidl, H., Maneth, S., Kemper, G. & Engelfriet, J., 19 Apr 2016, Dependable Software Systems Engineering. IOS Press, Vol. 45. p. 202-243 42 p.
Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review