Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings Dowek Gilles Heftet / 2014 / Engelsk
Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings Armando Alessandro Heftet / 2008 / Engelsk
Higher-Order Algebra, Logic, and Term Rewriting Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers Dowek Gilles Heftet / 1996 / Engelsk
Theorem Proving in Higher Order Logics 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings Bertot Yves Heftet / 1999 / Engelsk
Proofs and Algorithms An Introduction to Logic and Computability Dowek Gilles Heftet / 2011 / Engelsk
