Special Issue on the 27th International Symposium on Logic-based Program Synthesis and Transformation: LOPSTR 2017

Fabio Fioravanti (Redaktør), John Patrick Gallagher (Redaktør), Maurizio Proietti (Redaktør)

Publikation: Bog/antologi/afhandling/rapportAntologiForskning

Abstract

Special Issue on the 27th International Symposium on Logic-based Program Synthesis and Transformation: LOPSTR 2017.
OriginalsprogEngelsk
ForlagSocietatis Mathematicae Polonae
DOI
StatusUdgivet - 2020
NavnFundamenta Informaticae
Nummer4
Vol/bind173
ISSN0169-2968

Bibliografisk note

Special issue of Fundamenta Informaticae, vol. 173, no. 4, 2020

Citer dette