Mechanization of Separation in Generic Extensions

MaRDI QIDQ7109383arXivFDO

Authors Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf

Publication date 2019

Published in arXiv

arXiv classification

cs.LO

This page was built for publication: Mechanization of Separation in Generic Extensions

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