Publicaciones sobre Tipos definidos y tipos de datos algebraicos
- Valor de una expresión vectorial
- Valor de expresiones aritméticas generales
- Máximos valores de una expresión aritmética
- Expresiones aritméticas reducibles
- Sustitución en una expresión aritmética
- Número de sumas en una expresión aritmética
- Valor de una expresión aritmética con variables
- El tipo de las expresiones aritméticas con variables
- Número de variables de una expresión aritmética
- Valor de una expresión aritmética con una variable
- Tipo de expresiones aritméticas con una variable
- Aplicación de una función a una expresión aritmética
- Valor de una expresión aritmética básica
- El tipo de las expresiones aritméticas básicas
- Valor de un árbol booleano
- Árbol de factorización
- Elementos del nivel k de un árbol
- Existencia de elementos del árbol que verifican una propiedad
- Árboles con igual estructura
- Árboles con bordes iguales
- Árboles balanceados
- Rama izquierda de un árbol binario.
- Suma de un árbol
- El tipo de los árboles binarios con valores en los nodos
- Árbol de profundidad n con nodos iguales
- Subárbol de profundidad dada
- Imagen especular de un árbol binario
- Recorrido de árboles binarios
- Profundidad de un árbol binario
- Número de hojas de un árbol binario
- El tipo de los árboles binarios
- El tipo de las expresiones aritméticas - Número de operaciones en una expresión
- El tipo de las expresiones aritméticas - Valor de la resta
- El tipo de las expresiones aritméticas - Valor de una expresión
- El tipo de las expresiones aritméticas
- Árbol con las hojas en la profundidad dada
- Árboles con la misma forma
- Aplicación de una función a un árbol
- Altura de un árbol binario
- El tipo de los árboles binarios con valores en las hojas.
- El tipo de las fórmulas proposicionales - Reconocedor de tautologías
- El tipo de las fórmulas proposicionales - Interpretaciones de una fórmula
- El tipo de las fórmulas proposicionales - Valor de una fórmula
- El tipo de las fórmulas proposicionales - Variables de una fórmula
- El tipo de las fórmulas proposicionales
- El tipo de los árboles binarios
- El tipo de las listas
- El tipo de los números naturales
- El tipo de figuras geométricas
- Movimientos en el plano