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

来源：

FUNDAMENTA INFORMATICAE | 2020年 / 177卷 / 3-4期

关键词：

D O I：

10.3233/FI-2020-1987

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：I / iii

页数：3

共 50 条

[31] Special Issue: The Proceedings of the 19th International Symposium on Inventories Preface
Chikan, Attila
INTERNATIONAL JOURNAL OF PRODUCTION ECONOMICS, 2019, 209 : 1 - 1
[32] Special issue-11th International symposium on supercritical fluids Preface
Kim, Jaehoon
Lee, Youn-Woo
Adschiri, Tadafumi
Chen, Yan-Ping
Goto, Motonobu
Han, Buxing
JOURNAL OF SUPERCRITICAL FLUIDS, 2017, 120 : 207 - 208
[33] Special issue - 14th International Symposium on Homogeneous Catalysis - Preface
Herrmann, WA
JOURNAL OF ORGANOMETALLIC CHEMISTRY, 2005, 690 (20) : 4381 - 4381
[34] Special Issue: Proceedings of the 20th International Symposium on Hemodialysis Preface
Misra, Madhukar
HEMODIALYSIS INTERNATIONAL, 2014, 18
[35] Special issue -: 6th International Thermal Anemometry Symposium -: Preface
Turan, ÖF
EXPERIMENTAL THERMAL AND FLUID SCIENCE, 2003, 27 (02) : 127 - 127
[36] Preface for the special issue on " Selected Papers and Tools of the 26th International Conference on Fundamental Approaches to Software Engineering" (FASE 2023)
Damasceno, Carlos Diego Nascimento
Jakobs, Marie-Christine
Lambers, Leen
Uchitel, Sebastian
SCIENCE OF COMPUTER PROGRAMMING, 2025, 240
[37] Special issue on the 20th international drying symposium (IDS 2016)
Itaya, Yoshinori
DRYING TECHNOLOGY, 2018, 36 (06) : 637 - 637
[38] Preface to the Special Issue of the International Symposium on Single -Atom Catalysis (ISSAC-2016)
Li, Jun
Liu, Jimmy
Zhang, Tao
CHINESE JOURNAL OF CATALYSIS, 2017, 38 (09) : 1431 - 1431
[39] SPECIAL ISSUE: PROCEEDINGS OF THE 26TH EUROPEAN SYMPOSIUM ON RELIABILITY OF ELECTRON DEVICES, FAILURE PHYSICS AND ANALYSIS
Bafleur, Marise
Perdu, Philippe
Marc, Francois
Fremont, Helene
Nolhier, Nicolas
MICROELECTRONICS RELIABILITY, 2015, 55 (9-10) : 1269 - 1270
[40] Preface to the special issue on the 12th International Conference on Graph Transformation
Guerra, Esther
Orejas, Fernando
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2020, 115

← 1 2 3 4 5 →