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

Manuel V. Hermenegildo

universidad politecnica de madrid

45H指数
527论文数
7.0K被引数
收录论文 5
发表时间
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收藏
Multi-configurable Search Rules in Prolog and Application to TestingProlog中的多可配置搜索规则及其在测试中的应用
errPRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2026
IF0
err2026-01-01
err0
PREAI
errFerreiro, Daniela; 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收藏
A sharing-based approach to supporting adaptation in service compositions
errCOMPUTING
IF2.8
err2012-11-17
err2
errOAAI
errIvanovic, Dragan; Carro, Manuel; Hermenegildo, Manuel V.
err分享
err收藏
Lock-free parallel dynamic programming
errJOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
IF4
err2010-08-01
err34
errOAAI
errStivala, Alex; Stuckey, Peter J.; Garcia de la Banda, Maria; Hermenegildo, Manuel; Wirth, Anthony
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
P
Peter J. Stuckey
H 指数: 54 · 论文数: 732
M
María García de la Banda
H 指数: 28 · 论文数: 149
P
Pedro López-García
H 指数: 19 · 论文数: 127
A
Anthony Wirth
H 指数: 19 · 论文数: 121
M
Manuel Carro
H 指数: 17 · 论文数: 169
查看更多