Hanne Gottliebsen
According to our database1,
Hanne Gottliebsen
authored at least 8 papers
between 1999 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2013
2009
Proceedings of the Semantics and Algebraic Specification, 2009
2005
2004
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004
2001
Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001
2000
Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000
1999
Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study.
Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, 1999
Proceedings of the Automated Deduction, 1999