Special Issue on the 26th International Symposium on Logic-Based Program Synthesis and Transformation: LOPSTR 2016 Preface

被引:0
|
作者
Hermenegildo, Manuel [1 ,2 ]
Lopez-Garcia, Pedro [1 ,3 ]
Pettorossi, Alberto [4 ]
Proietti, Maurizio [5 ]
机构
[1] IMDEA Software Inst, Madrid, Spain
[2] Univ Politecn Madrid UPM, Madrid, Spain
[3] Spanish Council Sci Res CSIC, Madrid, Spain
[4] Univ Roma Tor Vergata, Dipartimento Ingn Civile & Ingn Informat, Rome, Italy
[5] CNR, Ist Anal Sistemi & Informat A Ruberti, Rome, Italy
关键词
D O I
10.3233/FI-2020-1987
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
引用
收藏
页码:I / iii
页数:3
相关论文
共 50 条