7El calor
2Respuesta
Probar automáticamente y determinísticamente una función para asociatividad, conmutatividad, etc.
24El calor
3Respuesta
Relajar las restricciones de ordenamiento en el cómputo monádico
5El calor
2Respuesta
¿Alternativa para expresar "conmutatividad" en Prolog?
17El calor
2Respuesta
¿Cómo puedo saber si una mónada es conmutativa?