Introducimos un nuevo dominio de construcción y demostramos que la categoría con -dominios como objetos y funciones continuas de Scott como morfismos es una categoría cerrada cartesiana. Obtenemos que el dominio de potencia de Plotkin sobre un -dominio es un -dominio.
Esta es una versión de prueba de citación de documentos de la Biblioteca Virtual Pro. Puede contener errores. Lo invitamos a consultar los manuales de citación de las respectivas fuentes.
Artículo:
Fórmulas de cambio de escala para integrales de Wiener relacionadas con la transformada de Fourier-Feynman y la convolución.
Artículo:
Programación de aplicaciones en la computación en la nube móvil con equilibrio de carga.
Artículo:
Estabilización exponencial de un sistema poroso-elástico hinchable con efecto microtemperatura y retardo distribuido.
Artículo:
Solución de verificación basada en bases de Groebner para las afirmaciones concurrentes de SystemVerilog
Artículo:
Estrategia de descarga ordenada de vehículos eléctricos en el lugar de trabajo basada en el precio por tiempo de uso