logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
P

Pedro López-García

consejo superior de investigaciones cientificas (csic)

19H指数
127论文数
1.4K被引数
收录论文 3
发表时间
logo
Extending the FSyntax/Hiord Approach with Imperative Notation将FSyntax/Hiord方法扩展为命令式记法
errLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
err2026-01-01
err0
PREAI
errCorral, Paula; Morales, Jose F.; Lopez-Garcia, Pedro; Hermenegildo, Manuel V.
err分享
err收藏
Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP ProgramsHiord#: 一种用于高阶 (C)LP 程序的规范与验证方法
errTHEORY AND PRACTICE OF LOGIC PROGRAMMING
IF1.1
err2025-09-01
err0
errOAAI
errCiccale, Marco; Jurjo-Rivas, Daniel; Morales, Jose F.; Lopez-Garcia, Pedro; Hermenegildo, Manuel V.
err分享
err收藏
Stochastic vs. deterministic evolutionary algorithm-based allocation and scheduling for XMOS chips
errNEUROCOMPUTING
IF6.5
err2015-02-01
err8
PREAI
errBankovic, Zorana; Lopez-Garcia, Pedro
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
M
Manuel V. Hermenegildo
H 指数: 45 · 论文数: 527
J
José F. Morales
H 指数: 15 · 论文数: 91
D
DANIEL JURJO-RIVAS
H 指数: 1 · 论文数: 3
M
MARCO CICCALÈ
H 指数: 0 · 论文数: 1
P
Paula Corral
H 指数: 0 · 论文数: 2
查看更多