Logic and Computational Complexity International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers Leivant Daniel Heftet / 1995 / Engelsk
Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings Leivant Daniel Heftet / 2007 / Engelsk
Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings de Paiva, Valeria Heftet / 2015 / Engelsk
