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 条

[1] Special Issue on the 27th International Symposium on Logic-based Program Synthesis and Transformation: LOPSTR 2017 Preface
Fioravanti, Fabio
Gallagher, John P.
Proietti, Maurizio
FUNDAMENTA INFORMATICAE, 2020, 173 (04) : I - II
[2] Special Issue on the 32nd International Symposium on Logic-based Program Synthesis and Transformation: LOPSTR 2022
Proietti, Maurizio
Villanueva, Alicia
FUNDAMENTA INFORMATICAE, 2024, 192 (02)
[3] 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14330 LNCS
[4] The Special Issue of 26th International Symposium on Automation and Robotics in Construction
Gong, Jie
Siddiqui, Mohsin
Caldas, Carlos H.
O'Brien, William J.
AUTOMATION IN CONSTRUCTION, 2011, 20 (06) : 661 - 661
[5] Introduction to the 26th international conference on logic programming special issue
Hermenegildo, Manuel
Schaub, Torsten
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2010, 10 : 361 - 364
[6] Special issue: 26th International Conference on Solution Chemistry - Preface
Sasaki, Y
INORGANIC REACTION MECHANISMS, 2000, 2 (1-2): : I - I
[7] Preface to the 26th ICDERS Special Issue
Dunn-Rankin, Derek
Maas, Ulrich
COMBUSTION SCIENCE AND TECHNOLOGY, 2019, 191 (04) : 605 - 606
[8] Special issue: 26th international symposium on VLSI design and test 2022
Ambika Prasad Shah
Sudeb Dasgupta
Analog Integrated Circuits and Signal Processing, 2023, 116 : 1 - 3
[9] Special issue: 26th international symposium on VLSI design and test 2022
Shah, Ambika Prasad
Dasgupta, Sudeb
ANALOG INTEGRATED CIRCUITS AND SIGNAL PROCESSING, 2023, 116 (1-2) : 1 - 3
[10] Special issue: 11th International Symposium Polycondensation 2016 Preface
Shaplov, Alexander
HIGH PERFORMANCE POLYMERS, 2017, 29 (06) : 625 - 626

← 1 2 3 4 5 →