Álgebra de los programas lógicos de Krom Descubre cómo los programas lógicos de Krom revelan una rica estructura algebraica: monoides, semianillos y conexiones con autómatas. Un puente entre lógica, 2026-06-16 · 2 min