Meta-Programming in Logic Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings Pettorossi Alberto Heftet / 1992 / Engelsk
Logic Based Program Synthesis and Transformation 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers Pettorossi Alberto Heftet / 2002 / Engelsk
Automata Theory and Formal Languages Fundamental Notions, Theorems, and Techniques Pettorossi Alberto Heftet / 2022 / Engelsk
Problems in Mathematical Biophysics A Volume in Memory of Alberto Gandolfi d'Onofrio, Alberto Innbundet / 2024 / Engelsk
