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 2006, Manchester, UK, August 29 - September2, 2006, Proceedings Schmidt Renate Heftet / 2006 / Engelsk
Automated Deduction – CADE-22 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings Schmidt Renate Heftet / 2009 / Engelsk
Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings Schmidt Renate A. Heftet / 2017 / Engelsk
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings Fontaine Pascal Heftet / 2013 / Engelsk
Second-order Quantifier Elimination Foundations, Computational Aspects and Applications Gabbay Dov Heftet / 2008 / Engelsk