Hereditary First-Order Model Checking

MaRDI QIDQ6753751arXivFDO

Authors Manuel Bodirsky, Santiago Guzmán-Pro

Publication date 2024

Published in arXiv

Mathematics Subject Classification ID

Higher-order logic (03B16) Logic in computer science (03B70) Model theory of finite structures (03C13)

arXiv classification

math.LO

This page was built for publication: Hereditary First-Order Model Checking

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