Dept. Matematica Aplicada. Universidad de Malaga;
机译:完备格上的多值函数不动点及其在广义逻辑程序中的应用
机译:功能逻辑程序的自由定理:(仅摘要)
机译:肖德定点定理在迭代函数方程中的应用
机译:多价函数的固定点定理,其应用于基于多件的逻辑编程
机译:多值逻辑程序的基于知识的广义语义
机译:不动点定理在各种非线性稳定问题中的应用
机译:关于完备网格上多值函数的不动点及其在广义逻辑程序中的应用
机译:近似推理理论中的自动定理证明及其在逻辑程序设计和专家系统中的应用。