Conditional and Typed Rewriting Systems 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings Kaplan Stephane Heftet / 1991 / Engelsk
Formal to Practical Security Papers Issued from the 2005-2008 French-Japanese Collaboration Cortier, Véronique Heftet / 2009 / Engelsk
Advances in Mathematical Logic Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions Arai Toshiyasu Innbundet / 2022 / Engelsk
Software Security -- Theories and Systems Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers Okada Mitsuhiro Heftet / 2003 / Engelsk
Advances in Mathematical Logic Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions Arai Toshiyasu Heftet / 2023 / Engelsk
