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...
Na minha lista:
| Publicado no: | Matemáticas: Enseñanza Universitaria |
|---|---|
| Autor principal: | |
| Formato: | Artigo |
| Idioma: | Espanhol |
| Publicado em: |
Escuela Regional de Matemáticas
2008
|
| Assuntos: | |
| Acesso em linha: | https://www.redalyc.org/articulo.oa?id=46816208 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|