Preface

Pedro Lopez-Garcia; John Gallagher; Roberto Giacobazzi

Preface

Pedro Lopez-Garcia, John Gallagher, Roberto Giacobazzi

Research output: Chapter in Book/Report/Conference proceeding › Preface/postscript › Research

Original language	English
Title of host publication	Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Editors	Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi
Number of pages	3
Volume	13160 LNCS
Publisher	Springer
Publication date	2023
Edition	Festschrift
Pages	vii-ix
ISBN (Print)	9783031314759
ISBN (Electronic)	9783031314766
Publication status	Published - 2023

Series	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN	0302-9743

Cite this

Lopez-Garcia, Pedro ; Gallagher, John ; Giacobazzi, Roberto. / Preface. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday. editor / Pedro Lopez-Garcia ; John P. Gallagher ; Roberto Giacobazzi. Vol. 13160 LNCS Festschrift. ed. Springer, 2023. pp. vii-ix (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{8798f00cc97b4579b9da0fc7a05d90cd,

title = "Preface",

author = "Pedro Lopez-Garcia and John Gallagher and Roberto Giacobazzi",

year = "2023",

language = "English",

isbn = "9783031314759",

volume = "13160 LNCS",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "vii--ix",

editor = "Pedro Lopez-Garcia and Gallagher, {John P.} and Roberto Giacobazzi",

booktitle = "Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems",

edition = "Festschrift",

}

Lopez-Garcia, P, Gallagher, J & Giacobazzi, R 2023, Preface. in P Lopez-Garcia, JP Gallagher & R Giacobazzi (eds), Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday. Festschrift edn, vol. 13160 LNCS, Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. vii-ix.

Preface. / Lopez-Garcia, Pedro; Gallagher, John; Giacobazzi, Roberto.
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday. ed. / Pedro Lopez-Garcia; John P. Gallagher; Roberto Giacobazzi. Vol. 13160 LNCS Festschrift. ed. Springer, 2023. p. vii-ix (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Research output: Chapter in Book/Report/Conference proceeding › Preface/postscript › Research

TY - GEN

T1 - Preface

AU - Lopez-Garcia, Pedro

AU - Gallagher, John

AU - Giacobazzi, Roberto

PY - 2023

Y1 - 2023

M3 - Preface/postscript

AN - SCOPUS:85159927228

SN - 9783031314759

VL - 13160 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - vii-ix

BT - Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

A2 - Lopez-Garcia, Pedro

A2 - Gallagher, John P.

A2 - Giacobazzi, Roberto

PB - Springer

ER -

Lopez-Garcia P, Gallagher J, Giacobazzi R. Preface. In Lopez-Garcia P, Gallagher JP, Giacobazzi R, editors, Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday. Festschrift ed. Vol. 13160 LNCS. Springer. 2023. p. vii-ix. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).