An alternative to back-and-forth

MaRDI QIDQ7123901arXivFDO

Authors Tonatiuh Matos-Wiederhold

Publication date 2020

Published in arXiv

arXiv classification

math.LO

This page was built for publication: An alternative to back-and-forth

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