Rewriting Techniques and Applications 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings Nipkow Tobias Heftet / 1998 / Engelsk
Types for Proofs and Programs International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers Barendregt Henk Heftet / 1994 / Engelsk
Software Safety and Security Tools for Analysis and Verification Nipkow Tobias Innbundet / 2012 / Engelsk
Automated Reasoning First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings Gore Rajeev Heftet / 2001 / Engelsk
FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings Misra Jayadev Heftet / 2006 / Engelsk
Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings Berghofer Stefan Heftet / 2009 / Engelsk
Higher-Order Algebra, Logic, and Term Rewriting First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers Heering Jan Heftet / 1994 / Engelsk
