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

LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025

IF
论文数13
被引数
期刊论文 13
发表时间
delete
deleteLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
delete2026-01-01
delete0
PREAI
deleteMeseguer, Jose
delete分享
delete收藏
deleteLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
delete2026-01-01
delete0
PREAI
deletePascual, Romain; Le Gall, Pascale; Belhaouari, Hakim; Arnould, Agnes
delete分享
delete收藏
deleteLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDundua, Besik; Kutsia, Temur
delete分享
delete收藏
deleteLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
delete2026-01-01
delete0
PREAI
deleteTarau, Paul
delete分享
delete收藏
deleteLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
delete2026-01-01
delete0
PREAI
deleteGarg, Ojaswa; Mirjafari, Shayan; Xia, Yilin; Bowers, Shawn; Ludascher, Bertram; Skvortsov, Evgeny
delete分享
delete收藏
deleteLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
delete2026-01-01
delete0
PREAI
deleteTakahata, Kanta; Schoepf, Jonas; Nishida, Naoki; Aoto, Takahito
delete分享
delete收藏
deleteLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
delete2026-01-01
delete0
PREAI
deletePayet, Etienne
delete分享
delete收藏
deleteLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
delete2026-01-01
delete0
PREAI
deleteMarianne, Thierry; Mesnard, Fred; Payet, Etienne
delete分享
delete收藏
deleteLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
delete2026-01-01
delete0
PREAI
deleteCorral, Paula; Morales, Jose F.; Lopez-Garcia, Pedro; Hermenegildo, Manuel V.
delete分享
delete收藏
deleteLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
delete2026-01-01
delete0
PREAI
deleteFernandez, Maribel; Nantes-Sobrinho, Daniele; Santaguida, Daniella
delete分享
delete收藏
deleteLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHanus, Michael
delete分享
delete收藏
deleteLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
delete2026-01-01
delete0
PREAI
deleteCharalambidis, Angelos; Nikolaou, Georgios; Troumpoukis, Antonis
delete分享
delete收藏
deleteLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAlbert, Elvira; De Angelis, Emanuele; Fioravanti, Fabio; Hernandez-Cerezo, Alejandro; Matricardi, Giulia
delete分享
delete收藏