Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Iturrioz, L., & Sofronie-Stokkermans, V. (2000). SHn-algebras (Symmetric Heyting algebras of order n). In L. Iturrioz, E. Orlowska, & E. Turunen (Eds.), COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures (pp. 1-11). Tampere: Tampere University of Technology (Mathematics).