Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, V. (2000). Some properties of Kleene algebras. 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-7). Tampere: Tampere University of Technology (Mathematics).