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...
Bewaard in:
| Gepubliceerd in: | Matemáticas: Enseñanza Universitaria |
|---|---|
| Hoofdauteur: | |
| Formaat: | Artigo |
| Taal: | Espanhol |
| Gepubliceerd in: |
Escuela Regional de Matemáticas
2008
|
| Onderwerpen: | |
| Online toegang: | https://www.redalyc.org/articulo.oa?id=46816208 |
| Tags: |
Geen labels, Wees de eerste die dit record labelt!
|