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...
Đã lưu trong:
| Xuất bản năm: | Matemáticas: Enseñanza Universitaria |
|---|---|
| Tác giả chính: | |
| Định dạng: | Artigo |
| Ngôn ngữ: | Espanhol |
| Được phát hành: |
Escuela Regional de Matemáticas
2008
|
| Những chủ đề: | |
| Truy cập trực tuyến: | https://www.redalyc.org/articulo.oa?id=46816208 |
| Các nhãn: |
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|