scientific article; zbMATH DE number 3556013

zbMATH Open0357.02011MaRDI QIDQ4128522FDOQ4128522

Authors Nail Zamov

Publication date 1974

Full work available at URL https://eudml.org/doc/68920

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Classical first-order logic (03B10)

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 Q4128522)