José F. Morales - Publications, H-index & Citations | 科言猫

未登录

返回

J

José F. Morales

universidad politecnica de madrid

15H指数

91论文数

649被引数

收录论文 2

发表时间

Extending the FSyntax/Hiord Approach with Imperative Notation 将FSyntax/Hiord方法扩展为命令式记法

LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025

IF0

2026-01-01

0

PREAI

Corral, Paula; Morales, Jose F.; Lopez-Garcia, Pedro; Hermenegildo, Manuel V.

分享

收藏

Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs Hiord#: 一种用于高阶 (C)LP 程序的规范与验证方法

THEORY AND PRACTICE OF LOGIC PROGRAMMING

IF1.1

2025-09-01

0

OAAI

Ciccale, Marco; Jurjo-Rivas, Daniel; Morales, Jose F.; Lopez-Garcia, Pedro; Hermenegildo, Manuel V.

分享

收藏