scientific article; zbMATH DE number 7659880

MaRDI QIDQ5880835zbMATH OpenFDO

Authors Grigoris Antoniou, Katie Atkinson, George Baryannis, Sotiris Batsakis, Guido Governatori, Livio Robaldo, G. Siragusa, Ilias Tachmazidis

Publication date 6 March 2023

Full work available at URL http://www.collegepublications.co.uk/downloads/ifcolog00056.pdf#section*.9

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5880835)