Semánticas de punto fijo para programas anotados. Una realización por Mho-resolución
En programación lógica clásica, una de las herramientas conceptuales más poderosas consiste en la interpretación semántica de un conjunto de fórmulas como funciones sobre conjuntos ordenados con ciertas propiedades estructurales. Tales funciones en combinación con teoremas de punto fijos como el de...
Furkejuvvon:
| Publikašuvnnas: | Matemáticas: Enseñanza Universitaria |
|---|---|
| Váldodahkki: | |
| Materiálatiipa: | Artigo |
| Giella: | Espanhol |
| Almmustuhtton: |
Escuela Regional de Matemáticas
2008
|
| Fáttát: | |
| Liŋkkat: | https://www.redalyc.org/articulo.oa?id=46816208 |
| Fáddágilkorat: |
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
|